Publisher
Springer International Publishing
Reference35 articles.
1. https://syntcomp.org
2. Beth. The Foundation of Mathematics. North-Holland (1959)
3. 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)
4. Lecture Notes in Computer Science;R Bloem,2014
5. Bohy, A., Bruyère, V., Filiot, E., Jin, N., Raskin, C.: Jean-Fran Acacia+, a tool for LTL synthesis. In: Proceedings of CAV 2012, LNCS, vol. 7358, pp. 652–657. Springer, Cham (2012)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献