Cited By
View all- Cai SGallina BNyström DSeceleanu C(2020)Specification and automated verification of atomic concurrent real-time transactionsSoftware and Systems Modeling10.1007/s10270-020-00819-0Online publication date: 29-Jul-2020
- Cai SGallina BNystrom DSeceleanu C(2018)Specification and Formal Verification of Atomic Concurrent Real-Time Transactions2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC)10.1109/PRDC.2018.00021(104-114)Online publication date: Dec-2018
- Speegle G(2018)Semantic AtomicityEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_720(3381-3386)Online publication date: 7-Dec-2018
- Show More Cited By