Volume 53, Issue 3, May 2017
Special Issue: Formal Modeling and Analysis of Timed Systems; Guest Editors: Marco Paolieri, Sriram Sankaranarayanan, and Enrico Vicario
ISSN: 0922-6443 (Print) 1573-1383 (Online)
In this issue (4 articles)
OriginalPaperPatricia Bouyer, Nicolas Markey, Nicolas Perrin… Pages 327-353
To view the rest of this content please follow the download PDF link above.