Derrick, John, 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
Hosted By Universitätsbibliothek TU Berlin.