Blank, C. ; Ritter, G. ; Hinrichsen, H. ; Eveking, H. (2000)
Formale Verifikation der Register-Allokation.
Konferenzveröffentlichung, Bibliographie
Typ des Eintrags: | Konferenzveröffentlichung |
---|---|
Erschienen: | 2000 |
Autor(en): | Blank, C. ; Ritter, G. ; Hinrichsen, H. ; Eveking, H. |
Art des Eintrags: | Bibliographie |
Titel: | Formale Verifikation der Register-Allokation |
Sprache: | Deutsch |
Publikationsjahr: | 2000 |
Reihe: | ITG/GI/GMM-Workshop <2000, Frankfurt>: 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 |