M | |
---|---|
[Mat02] | Radu Mateescu.
Local Model-Checking of Modal Mu-Calculus on Acyclic
Labeled Transition Systems.
Research Report 4430, INRIA Rhône-Alpes, Montbonnot, France, avril 2002.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1