Chih-Hong Cheng, Christian Buckl, Michael Luttenberger and Alois Knoll
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, pp. 347–352
2010 · doi:10.1007/978-3-642-15643-4_26
url:http://dx.doi.org/10.1007/978-3-642-15643-4_26
URLDOIBibTeXBack
