Skip to Main content Skip to Navigation
Conference papers

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

Abstract : no abstract
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01699940
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:51:55 PM
Last modification on : Friday, March 27, 2020 - 3:57:52 AM

Identifiers

  • 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. ⟨hal-01699940⟩

Share

Metrics

Record views

67