zurück zur Startseite
 
 
Verfasser: Christian Stangier
Titel: High-level Methods for OBDD-based Sequential Verification
Fachbereich; Fach: FB IV; Informatik
Erscheinungsjahr: 2002
Umfang: 118 Seiten
 
Volltext [PDF - 1,3 MB] Zusammenfassung [PDF - 5 KB] Abstract [PDF - 5 KB]
 
Abstract: