Blättern nach Person
 | Ebene hoch |
Springe zu: Deutsch
Anzahl der Einträge: 1.
Deutsch
Hähnle, Reiner ; Mostowski, Wojciech
Hrsg.: Barthe, Gilles ; Burdy, Lilian ; Huisman, Marieke ; Lanet, Jean-Louis ; Muntean, Traian (2005)
Verification of Safety Properties in the Presence of Transactions.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum