13118

4364115

Sriram Sankaranarayanan

Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015 (Lecture Notes in Computer Science)

Springer

2015

9783319229744