Specification and Formal Verification of Atomic Concurrent Real-Time Transactions.

Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu

Browse the full PRDC paper archive.