Author:
Baumeister Tom,Finkbeiner Bernd,Torfah Hazem
Publisher
Springer International Publishing
Reference23 articles.
1. Lecture Notes in Computer Science;T Babiak,2012
2. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y., et al.: Bounded model checking. Adv. Comput. 58(11), 117–148 (2003)
3. Lecture Notes in Computer Science;B Bonakdarpour,2019
4. Lecture Notes in Computer Science;P Faymonville,2017
5. Lecture Notes in Computer Science;P Faymonville,2017
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献