Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 2 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
 

Ergebnis der Suche nach: idn=971737991



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/971737991
Art des Inhalts Hochschulschrift
Titel High-level methods for OBDD-based sequential verification / von Christian Stangier
Person(en) Stangier, Christian (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: [2004]
Umfang/Format Online-Ressource, ca. 1,3 MB
Hochschulschrift Trier, Univ., Diss., 2002
Persistent Identifier URN: urn:nbn:de:hbz:385-2263
URL http://ubt.opus.hbz-nrw.de/volltexte/2004/226/pdf/20021129.pdf (Verlag) (kostenfrei zugänglich)
http://ubt.opus.hbz-nrw.de/volltexte/2004/226/index.html (Verlag)
Sprache(n) Englisch (eng)
Schlagwörter Schaltwerk ; Hardwareverifikation ; Formale Methode ; OBDD ; Logiksynthese ; Partitionierung
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration