Article Dans Une Revue
Science of Computer Programming
Année : 2003
Mihaela Sighireanu : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00109620
Soumis le : mercredi 25 octobre 2006-09:53:24
Dernière modification le : jeudi 4 avril 2024-21:37:57
Dates et versions
Identifiants
- HAL Id : hal-00109620 , version 1
- DOI : 10.1016/s0167-6423(02)00094-1
Citer
Radu Mateescu, Mihaela Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Science of Computer Programming, 2003, 46(3), pp.255-281. ⟨10.1016/s0167-6423(02)00094-1⟩. ⟨hal-00109620⟩
85
Consultations
0
Téléchargements