TU Darmstadt / ULB / TUbiblio

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

Hinrichsen, Holger ; Ritter, G. ; Eveking, H. :
False-path elimination and simplification of sequential acyclic descriptions with complex branching logic.
In: AAA Workshop <2000, Rocquencourt>: Proceedings .
[Konferenz- oder Workshop-Beitrag], (2000)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2000
Autor(en): Hinrichsen, Holger ; Ritter, G. ; Eveking, H.
Titel: False-path elimination and simplification of sequential acyclic descriptions with complex branching logic
Sprache: Englisch
Reihe: AAA Workshop <2000, Rocquencourt>: Proceedings
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 16:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen