Verification of safety properties in the presence of transactions, in (2005)

by R Hähnle, W Mostowski
Venue:Muntean (Eds.), Proceedings, Construction and Analysis of Safe, Secure and Interoperable Smart Devices, CASSIS’04, Workshop, in: LNCS