Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim. Modularising Verification Of Durable Opacity. Logical Methods in Computer Science, 18(3), 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.