Browse by Person
 | Up a level |
Number of items: 3.
Conference or Workshop Item
Blank, C. (2001):
VeXt - a framework for property verification of mixed data and control intensive designs.
In: Demonstrations at the University Booth of the DATE Conference 2001 <2001, München>: Proceedings. - Tübingen: Wilhelm-Schickard-Inst. für Informatik, 2001, Tübingen, Wilhelm-Schickard-Inst. für Informatik, [Conference or Workshop Item]
Blank, C. (2000):
Formal verification of register binding.
In: WAVE 2000 <2000, Chicago>: Proceedings, [Conference or Workshop Item]
Blank, C. ; Ritter, G. ; Hinrichsen, H. ; Eveking, H. (2000):
Formale Verifikation der Register-Allokation.
In: ITG/GI/GMM-Workshop <2000, Frankfurt>: Proceedings, [Conference or Workshop Item]
Drucken
Impressum