Saissi, H., Bokor, P. &
Suri, N.,
2015,
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Springer-Verlag,
Vol. 9364.
p. 344-360 17 p.Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter