Author:
Boichut Yohan,Hugot Vincent,Boiret Adrien
Publisher
Springer Nature Switzerland
Reference19 articles.
1. Lecture Notes in Computer Science;Y Boichut,2008
2. Lecture Notes in Computer Science;Y Boichut,2011
3. Boichut, Y., Héam, P.-C.: A theoretical limit for safety verification techniques with regular fix-point computations. IPL 108(1), 1–2 (2008)
4. Boichut, Y., Héam, P.-C., Kouchnarenko, O.: Approximation-based tree regular model-checking. Nord. J. Comput. 14(3), 216–241 (2008)
5. Bouajjani, A., Habermehl, P., Rogalewicz, A., Vojnar, T.: Abstract regular (tree) model checking. STTT 14(2), 167–191 (2012)