Kwiatkowska, M.,
Norman, G.,
Parker, D. &
Qu, H.,
2010,
Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Esparza, J. & Majumdar, R. (eds.).
Springer,
p. 23-37 (Lecture Notes in Computer Science; vol. 6015).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution