Year of Publication
2014
Book Title
Formal Modeling and Analysis of Timed Systems
Volume
8711
Number of Pages
23-37
Publisher
Springer International Publishing
ISBN Number
978-3-319-10511-6
URL
http://dx.doi.org/10.1007/978-3-319-10512-3_3
DOI
10.1007/978-3-319-10512-3_3
Series Title
Lecture Notes in Computer Science