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: 1.

Hähnle, Reiner and Mostowski, Wojciech
Barthe, Gilles and Burdy, Lilian and Huisman, Marieke and Lanet, Jean-Louis and Muntean, Traian (eds.) (2005):
Verification of Safety Properties in the Presence of Transactions.
In: Post Conference Proceedings of {CASSIS}: Construction and Analysis of Safe, Secure and Interoperable Smart devices, Marseille, Springer-Verlag, In: LNCS, 3362, [Conference or Workshop Item]

This list was generated on Sat Aug 24 00:34:08 2019 CEST.