You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Model Checking Systems Against Epistemic Specifications : Invited Presentation at the 2nd International Workshop on Strategic Reasoning
:
Invited Presentation at the 2nd International Workshop on Strategic Reasoning
Contributor:
Lomuscio, Alessio R.
Published:
Open Publishing Association, 2014
Published in:
Electronic Proceedings in Theoretical Computer Science, 146 (2014)