Verifying Multi-agent Programs by Model Checking

Uloženo v:

Podrobná bibliografie
Vydáno v:	Autonomous agents and multi-agent systems Ročník 12; číslo 2; s. 239 - 256
Hlavní autoři:	Bordini, Rafael H., Fisher, Michael, Visser, Willem, Wooldridge, Michael
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	01.03.2006
ISSN:	1387-2532, 1573-7454
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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