Volume 53, Issue 3
May 2017Special Issue: Formal Modeling and Analysis of Timed Systems; Guest Editors: Marco Paolieri, Sriram Sankaranarayanan, and Enrico Vicario
- Issue Editors:
-
- Marco Paolieri,
- Sriram Sankaranarayanan,
- Enrico Vicario
4 articles in this issue