Design Verification Patterns

John Knudsen

Research output: Book/ReportPh.D. thesisResearch

Original languageEnglish
Place of PublicationAalborg
PublisherDepartment of Computer Science, Aalborg University
Publication statusPublished - 2009
SeriesPh.D. thesis
Number52
ISSN1601-0590

Cite this

Knudsen, J. (2009). Design Verification Patterns. Aalborg: Department of Computer Science, Aalborg University. Ph.D. thesis, No. 52
Knudsen, John. / Design Verification Patterns. Aalborg : Department of Computer Science, Aalborg University, 2009. (Ph.D. thesis; No. 52).
@phdthesis{a8f2b6e02cf611dfaeaf000ea68e967b,
title = "Design Verification Patterns",
author = "John Knudsen",
year = "2009",
language = "English",
series = "Ph.D. thesis",
publisher = "Department of Computer Science, Aalborg University",
number = "52",

}

Knudsen, J 2009, Design Verification Patterns. Ph.D. thesis, no. 52, Department of Computer Science, Aalborg University, Aalborg.

Design Verification Patterns. / Knudsen, John.

Aalborg : Department of Computer Science, Aalborg University, 2009. (Ph.D. thesis; No. 52).

Research output: Book/ReportPh.D. thesisResearch

TY - BOOK

T1 - Design Verification Patterns

AU - Knudsen, John

PY - 2009

Y1 - 2009

M3 - Ph.D. thesis

T3 - Ph.D. thesis

BT - Design Verification Patterns

PB - Department of Computer Science, Aalborg University

CY - Aalborg

ER -

Knudsen J. Design Verification Patterns. Aalborg: Department of Computer Science, Aalborg University, 2009. (Ph.D. thesis; No. 52).