Model Checking Systems against Epistemic Specifications: Invited Presentation at the 1st International Workshop on Strategic Reasoning

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Electronic proceedings in theoretical computer science 2013-03, Vol.112, p.3-3
1. Verfasser:	Lomuscio, Alessio R.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!