TU Darmstadt / ULB / TUbiblio

False-path elimination and simplification of sequential acyclic descriptions with complex branching logic

Hinrichsen, Holger ; Ritter, G. ; Eveking, H. (2000)
False-path elimination and simplification of sequential acyclic descriptions with complex branching logic.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2000
Autor(en): Hinrichsen, Holger ; Ritter, G. ; Eveking, H.
Art des Eintrags: Bibliographie
Titel: False-path elimination and simplification of sequential acyclic descriptions with complex branching logic
Sprache: Englisch
Publikationsjahr: 2000
Reihe: AAA Workshop <2000, Rocquencourt>: Proceedings
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 16:25
Letzte Änderung: 05 Mär 2013 08:49
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen