TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: German | English
Number of items: 3.


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]


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]

This list was generated on Tue May 30 00:37:58 2023 CEST.