Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics
Abstract
no abstract
Catalin Dima : Connect in order to contact the contributor
https://hal.science/hal-01699940
Submitted on : Friday, February 2, 2018-10:51:55 PM
Last modification on : Friday, March 24, 2023-2:53:06 PM