https://hal.archives-ouvertes.fr/hal-01699947 Contributor : Catalin DimaConnect in order to contact the contributor Submitted on : Friday, February 2, 2018 - 10:52:14 PM Last modification on : Friday, November 19, 2021 - 6:06:03 PM
Rodica Bozianu, Catalin Dima, Constantin Enea. Model-checking an Epistemic \(μ\)-calculus with Synchronous and Perfect Recall Semantics. CoRR, 2012, abs/1204.2087. ⟨hal-01699947⟩