Egon Börger, Klaus-Dieter Schewe, Qing Wang. Serialisable multi-level transaction control: A specification and verification. Science of Computer Programming, 131:42-58, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.