Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung

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

Verlagslink:	https://dblp.org/db/conf/mbmv/mbmv2010.html
Titel:	Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung
Sprache:	Deutsch
Autorenschaft:	Jäschke, Christoph Schmitt, Carsten Herter, Ulla Wich, Tobias Rust, Jochen
Herausgeber*In:	Dietrich, Manfred
Herausgeber:	Gesellschaft für Informatik e.V.
Erscheinungsdatum:	2010
Verlag:	Fraunhofer-Verlag
Teil der Schriftenreihe:	13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 22.-24.2.2010 in Dresden ; Tagungsband
Anfangsseite:	227
Endseite:	236
Konferenz:	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
Begutachtungsstatus:	Diese Version hat ein Peer-Review-Verfahren durchlaufen (Peer Review)
Einrichtung:	Universität Bremen
Dokumenttyp:	Konferenzveröffentlichung
Enthalten in den Sammlungen:	Publications without full text