Derrick, John, United Kingdom
-
Volume 66: Automated Verification of Critical Systems 2013 - Articles
Simplifying proofs of linearisability using layers of abstraction
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST