TU Darmstadt / ULB / TUbiblio

Formal verification of register binding

Blank, C. :
Formal verification of register binding.
In: WAVE 2000 <2000, Chicago>: Proceedings .
[Konferenz- oder Workshop-Beitrag], (2000)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2000
Autor(en): Blank, C.
Titel: Formal verification of register binding
Sprache: Englisch
Reihe: WAVE 2000 <2000, Chicago>: Proceedings
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 15:56
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen