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 |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |