, Parker, D.
& Zou, X.
, 22 Aug 2015
, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings.
Sankaranarayanan, S. & Vicario, E. (eds.). Springer
, Vol. 9268
. p. 240-255
(Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review