Author:
Kahsai Temesghen,Navas Jorge A.,Jovanović Dejan,Schäf Martin
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Lecture Notes in Computer Science;A Albarghouthi,2012
2. Lecture Notes in Computer Science;M Barnett,2006
3. Lecture Notes in Computer Science;C Bertolini,2012
4. Beyer, D., Cimatti, A., Griggio, A., Keremoglu, M.E., Sebastiani, R.: Software model checking via large-block encoding. In: FMCAD, pp. 25–32 (2009)
5. Lecture Notes in Computer Science;N Bjørner,2015
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献