TU Darmstadt
ULB
TUbiblio
Browse by Person
Up a level |
Number of items: 3.
Blank, C. (2001)
VeXt - a framework for property verification of mixed data and control intensive designs.
Conference or Workshop Item, Bibliographie
Blank, C. (2000)
Formal verification of register binding.
Conference or Workshop Item, Bibliographie
Blank, C. ; Ritter, G. ; Hinrichsen, H. ; Eveking, H. (2000)
Formale Verifikation der Register-Allokation.
Conference or Workshop Item, Bibliographie