Electronic Communications of the EASST
Duflot, Marie, Inria, Villers-lès-Nancy Université de Lorraine, LORIA, UMR 7503, Vandoeuvre-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.