TU Darmstadt / ULB / TUbiblio

Symbolic simulation techniques - state-of-the-art and applications

Blank, Claudia ; Eveking, Hans ; Levihn, Jens ; Ritter, G. (2001)
Symbolic simulation techniques - state-of-the-art and applications.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2001
Autor(en): Blank, Claudia ; Eveking, Hans ; Levihn, Jens ; Ritter, G.
Art des Eintrags: Bibliographie
Titel: Symbolic simulation techniques - state-of-the-art and applications
Sprache: Englisch
Publikationsjahr: 2001
Ort: Los Alamitos, Calif.
Verlag: IEEE Computer Soc.
Reihe: HLDVT '01: International High Level Design Validation and Test Workshop <6, 2001, Monterey, Calif.>; Proceedings. - Los Alamitos, Calif.: IEEE Computer Soc., 2001
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