Norman, G.,
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