Dongol, Brijesh, The University of Sheffield, United Kingdom
-
Volume 53: Automated Verification of Critical Systems 2012 - Articles
Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic
Abstract PDF -
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.