DMCA

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

by Wojciech Mostowski
Venue:POST CONF. PROC. OF CASSIS: CONSTRUCTION AND ANALYSIS OF SAFE, SECURE AND INTEROPERABLE SMART DEVICES, MARSEILLE, VOLUME 3362 OF LNCS
Citations:10 - 3 self