Increasing robustness and usability of circuit design tools by using formal techniques

dc.contributor.author	Fey, Görschwin
dc.contributor.editor	Wagner, Dorothea
dc.date.accessioned	2017-09-22T20:43:31Z
dc.date.available	2017-09-22T20:43:31Z
dc.date.issued	2007
dc.identifier.isbn	978-3-88579-411-0
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/4553
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2006
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-7
dc.title	Increasing robustness and usability of circuit design tools by using formal techniques	de
dc.pubPlace	Bonn
mci.reference.pages	29-38