Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics

Abstract : no abstract
Type de document :
Communication dans un congrès
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013, 2013, Unknown, Unknown Region. 2013
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01699940
Contributeur : Catalin Dima <>
Soumis le : vendredi 2 février 2018 - 22:51:55
Dernière modification le : jeudi 15 novembre 2018 - 20:26:57

Identifiants

  • HAL Id : hal-01699940, version 1

Collections

Citation

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. 2013. 〈hal-01699940〉

Partager

Métriques

Consultations de la notice

50