Chen, Jingshu, Inria, Villers-lès-Nancy, France
-
Volume 70: Automated Verification of Critical Systems 2014 - Articles
Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.