TU Darmstadt / ULB / TUbiblio

Graphbasierte Verifikation kombinatorischer Schaltnetze unter Verwendung von Bausteinbibliotheken

Höreth, Stefan :
Graphbasierte Verifikation kombinatorischer Schaltnetze unter Verwendung von Bausteinbibliotheken.
In: Methoden des Entwurfs und der Verifikation digitaler Systeme: 5. GI/ITG/GMM Workshop , 1997, Linz, Österreich. Hrsg.: R. Hagelauer. - Linz: Univ.-Verl., Trauner, 1997 . Universitätsverl. Trauner , Linz
[Konferenz- oder Workshop-Beitrag], (1997)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1997
Autor(en): Höreth, Stefan
Titel: Graphbasierte Verifikation kombinatorischer Schaltnetze unter Verwendung von Bausteinbibliotheken
Sprache: Deutsch
Reihe: Methoden des Entwurfs und der Verifikation digitaler Systeme: 5. GI/ITG/GMM Workshop , 1997, Linz, Österreich. Hrsg.: R. Hagelauer. - Linz: Univ.-Verl., Trauner, 1997
Ort: Linz
Verlag: Universitätsverl. Trauner
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 16:23
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen