Verifying Multi-agent Programs by Model Checking

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Autonomous agents and multi-agent systems Jg. 12; H. 2; S. 239 - 256
Hauptverfasser:	Bordini, Rafael H., Fisher, Michael, Visser, Willem, Wooldridge, Michael
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.03.2006
ISSN:	1387-2532, 1573-7454
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISSN:	1387-2532 1573-7454
DOI:	10.1007/s10458-006-5955-7