Specification and verification of multi-agent systems

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Dastani, Mehdi (HerausgeberIn), Hindriks, Koen V. (HerausgeberIn), Meyer, John-Jules Charles (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	New York, NY u.a. Springer 2010
Schlagworte:	Multiagent systems > Mehragentensystem > Programmverifikation > Model Checking
Online Zugang:	Inhaltstext Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!