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
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

This list was generated on Tue Oct 8 00:15:28 2024 CEST.
OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.
Drucken | Impressum | Datenschutzerklärung