Chih-Hong Cheng, Georg Nührenberg and Harald Rueß
Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA,
2017
BibTeXBack