Ashok, P., Chatterjee, K., Daca, P., Kretínský, J. &
Meggendorfer, T.,
13/07/2017,
CAV 2017: Computer Aided Verification . Majumdar, R. & Kunčak, V. (eds.). Cham:
Springer,
p. 201-221 21 p. (Lecture Notes in Computer Science ; vol. 10426).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review