Brázdil, T.,
Chatterjee, K.,
Chmelík, M.,
Forejt, V.,
Křetínský, J.,
Kwiatkowska, M.,
Parker, D. &
Ujma, M.,
2014,
Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Cassez, F. & Raskin, J-F. (eds.).
Springer,
Vol. 8837.
p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8837).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution