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

Show full item record

Page view(s)

24
checked on Dec 25, 2024

Google ScholarTM

Check

HAW Katalog

Check

Add Files to Item

Note about this record


Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.