Advances in symbolic model checking for multi-agent systems : Invited Presentation at the Fifth International Symposium on Games, Automata, Logics and Formal Verification
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Advances in symbolic model checking for multi-agent systems : Invited Presentation at the Fifth International Symposium on Games, Automata, Logics and Formal Verification
:
Invited Presentation at the Fifth International Symposium on Games, Automata, Logics and Formal Verification
Contributor:
Lomuscio, Alessio R.
Published:
Open Publishing Association, 2014
Published in:
Electronic Proceedings in Theoretical Computer Science, 161 (2014), Seite 1-1