Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung

Jäschke, Christoph; Schmitt, Carsten; Herter, Ulla; Wich, Tobias; Rust, Jochen

Publisher URL:	https://dblp.org/db/conf/mbmv/mbmv2010.html
Title:	Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung
Language:	German
Authors:	Jäschke, Christoph Schmitt, Carsten Herter, Ulla Wich, Tobias Rust, Jochen
Editor:	Dietrich, Manfred
Other :	Gesellschaft für Informatik e.V.
Issue Date:	2010
Publisher:	Fraunhofer-Verlag
Part of Series:	13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 22.-24.2.2010 in Dresden ; Tagungsband
Startpage:	227
Endpage:	236
Conference:	Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010
URI:	http://hdl.handle.net/20.500.12738/15685
ISBN:	978-3-8396-0103-7
Review status:	This version was peer reviewed (peer review)
Institute:	Universität Bremen
Type:	Chapter/Article (Proceedings)
Appears in Collections:	Publications without full text