Author:
Kordon Fabrice,Thierry-Mieg Yann
Publisher
Springer International Publishing
Reference36 articles.
1. Baarir, S., Duret-Lutz, A.: Sat-based minimization of deterministic $$\omega $$ω-automata. In: 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR, pp. 79–87 (2015)
2. Lecture Notes in Computer Science;AE Ben Salem,2014
3. Berthomieux, B., Bodeveix, J.P., Filali, M., Lang, F., Le Botland, D., Vernadat, F.: The syntax and semantic of fiacre. Technical report 7264, CNRS-LAAS (2007)
4. Lecture Notes in Computer Science;R Bloem,1999
5. Lecture Notes in Computer Science,2005