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.
In: HLDVT '01: International High Level Design Validation and Test Workshop <6, 2001, Monterey, Calif.>; Proceedings. - Los Alamitos, Calif.: IEEE Computer Soc., 2001, Los Alamitos, Calif., IEEE Computer Soc., [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2001
Creators: Blank, Claudia ; Eveking, Hans ; Levihn, Jens ; Ritter, G.
Title: Symbolic simulation techniques - state-of-the-art and applications
Language: English
Series Name: HLDVT '01: International High Level Design Validation and Test Workshop <6, 2001, Monterey, Calif.>; Proceedings. - Los Alamitos, Calif.: IEEE Computer Soc., 2001
Place of Publication: Los Alamitos, Calif.
Publisher: IEEE Computer Soc.
Divisions: 18 Department of Electrical Engineering and Information Technology
Date Deposited: 19 Nov 2008 16:25
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details