Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics
Résumé
no abstract
Communication Dans Un Congrès
Année : 2013
Catalin Dima : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699940
Soumis le : vendredi 2 février 2018-22:51:55
Dernière modification le : vendredi 27 décembre 2024-19:45:27
Dates et versions
Identifiants
- HAL Id : hal-01699940 , version 1
Citer
Rodica Bozianu, Catalin Dima, Constantin Enea. Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013, 2013, Unknown, Unknown Region. ⟨hal-01699940⟩
Collections
65
Consultations
0
Téléchargements