Author:
Dimitrova Rayna,Finkbeiner Bernd,Torfah Hazem
Publisher
Springer International Publishing
Reference21 articles.
1. Biere, A., Artho, C., Schuppan, V.: Liveness checking as safety checking. Electron. Notes Theoret. Comput. Sci. 66(2), 160–177 (2002)
2. Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Sa’ar, Y.: Synthesis of reactive (1) designs. J. Comput. Syst. Sci. 78(3), 911–938 (2012). In Commemoration of Amir Pnueli
3. Boker, U.: Why these automata types? In: Barthe, G., Sutcliffe, G., Veanes, M. (eds.) 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-22. EPiC Series in Computing, vol. 57, pp. 143–163. EasyChair (2018)
4. Lecture Notes in Computer Science;H Calbrix,1994
5. Clarke, E., Biere, A., Raimi, R., Zhu, Y.: Bounded model checking using satisfiability solving. Formal Methods Syst. Des. 19(1), 7–34 (2001)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献