Author:
Baier Christel,Blahoudek František,Duret-Lutz Alexandre,Klein Joachim,Müller David,Strejček Jan
Publisher
Springer International Publishing
Reference38 articles.
1. Lecture Notes in Computer Science;T Babiak,2013
2. Babiak, T., et al.: The Hanoi Omega-Automata Format. In: Kroening, D., Păsăreanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 479–486. Springer, Cham (2015).
https://doi.org/10.1007/978-3-319-21690-4_31
.
http://adl.github.io/hoaf/
3. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. Bloemen, V., Duret-Lutz, A., van de Pol, J.: Model checking with generalized Rabin and Fin-less automata. Int. J. Softw. Tools Technol. Transf. 21(3), 307–324 (2019)
5. Boker, U.: Why these automata types? In: LPAR 2018 of EPiC Series in Computing, vol. 57, pp. 143–163. EasyChair (2018)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献