Verifying Multi-agent Programs by Model Checking

Saved in:

Bibliographic Details
Published in:	Autonomous agents and multi-agent systems Vol. 12; no. 2; pp. 239 - 256
Main Authors:	Bordini, Rafael H., Fisher, Michael, Visser, Willem, Wooldridge, Michael
Format:	Journal Article
Language:	English
Published:	01.03.2006
ISSN:	1387-2532, 1573-7454
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

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