Logics for digital circuit verification : theory, algorithms, and applications

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

1124 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Electrical Engineering
Supervisors/Advisors	Jess, Jochen, Promotor Baeten, Jos, Promotor van Eijk, C.A.J., Copromotor
Award date	24 Feb 1999
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-386-1560-4
DOIs	https://doi.org/10.6100/IR520460
Publication status	Published - 1999

Access to Document

@phdthesis{05a0272ef2254d40b8f9583c4fc5f842,

title = "Logics for digital circuit verification : theory, algorithms, and applications",

author = "G.L.J.M. Janssen",

year = "1999",

doi = "10.6100/IR520460",

language = "English",

isbn = "90-386-1560-4",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Electrical Engineering",

}