TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 1.

Bokor, Peter ; Shukla, Sandeep ; Pataricza, András ; Suri, Neeraj :
Strengthened State Transitions for Complete Invariant Verification in Practical Depth-Induction.
AFM '08: Proceedings of the 3rd Workshop on Automated Formal Methods ACM
[ Konferenzveröffentlichung] , (2008)

Diese Liste wurde am Sat Feb 23 02:54:08 2019 CET generiert.