TU Darmstadt / ULB / TUbiblio

Formale Verifikation der Register-Allokation

Blank, C. ; Ritter, G. ; Hinrichsen, H. ; Eveking, H. :
Formale Verifikation der Register-Allokation.
In: ITG/GI/GMM-Workshop <2000, Frankfurt>: Proceedings .
[Konferenz- oder Workshop-Beitrag], (2000)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2000
Autor(en): Blank, C. ; Ritter, G. ; Hinrichsen, H. ; Eveking, H.
Titel: Formale Verifikation der Register-Allokation
Sprache: Deutsch
Reihe: ITG/GI/GMM-Workshop <2000, Frankfurt>: Proceedings
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 16:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen