Hinrichsen, Holger ; Ritter, G. ; Eveking, H. (1999)
Automatische Synthese und Verifikation von RISC-Prozessoren.
Konferenzveröffentlichung, Bibliographie
Typ des Eintrags: | Konferenzveröffentlichung |
---|---|
Erschienen: | 1999 |
Autor(en): | Hinrichsen, Holger ; Ritter, G. ; Eveking, H. |
Art des Eintrags: | Bibliographie |
Titel: | Automatische Synthese und Verifikation von RISC-Prozessoren |
Sprache: | Deutsch |
Publikationsjahr: | 1999 |
Ort: | Aachen |
Verlag: | Shaker |
Reihe: | GI/ITG/GMM-Workshop <1999, Braunschweig>: Proceedings. Hrsg.: M. Mutz, M. Lange. - Aachen: Shaker, 1999 |
Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik |
Hinterlegungsdatum: | 19 Nov 2008 16:22 |
Letzte Änderung: | 05 Mär 2013 08:45 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |