Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics - Archive ouverte HAL Access content directly
Conference Papers Year : 2013
No file

Dates and versions

hal-01699940 , version 1 (02-02-2018)

Identifiers

  • HAL Id : hal-01699940 , version 1

Cite

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⟩
58 View
0 Download

Share

Gmail Facebook X LinkedIn More