Model-checking an Epistemic \(μ\)-calculus with Synchronous and Perfect Recall Semantics
Résumé
no abstract
Article Dans Une Revue
CoRR
Année : 2012
Catalin Dima : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699947
Soumis le : vendredi 2 février 2018-22:52:14
Dernière modification le : vendredi 24 mars 2023-14:53:06
Dates et versions
Identifiants
- HAL Id : hal-01699947 , version 1
Citer
Rodica Bozianu, Catalin Dima, Constantin Enea. Model-checking an Epistemic \(μ\)-calculus with Synchronous and Perfect Recall Semantics. CoRR, 2012, abs/1204.2087. ⟨hal-01699947⟩
Collections
36
Consultations
0
Téléchargements