| Item Type: |
Conference or Workshop Item
|
| Erschienen: |
1999 |
| Creators: |
Ritter, Gerd ; Hinrichsen, H. ; Eveking, H. |
| Type of entry: |
Bibliographie |
| Title: |
Formale Verifikation automatisch generierter Pipelinesysteme durch symbolische Simulation |
| Language: |
German |
| Date: |
1 January 1999 |
| Place of Publication: |
Darmstadt |
| Publisher: |
GMD |
| Series: |
EIS'99: Entwurf integrierter Schaltkreise; Workshop <1999, Darmstadt>: Proceedings. - Darmstadt: GMD, 1999 |
| Divisions: |
18 Department of Electrical Engineering and Information Technology |
| Date Deposited: |
19 Nov 2008 16:02 |
| Last Modified: |
05 Mar 2013 08:37 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
Drucken
Impressum