Correctness of Multi-Agent Programs: A Hybrid Approach

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Specification and Verification of Multi-Agent Systems
Editors	M. Dr. Dastani, K.V. Hindriks, J.-J.Ch. Prof.dr. Meyer
Publisher	Springer
Pages	161-194
Number of pages	34
Publication status	Published - 2010

Cite this

@inproceedings{62a3857bb4584433a9ae3afaf80ede53,

title = "Correctness of Multi-Agent Programs: A Hybrid Approach",

author = "M.M. Dastani and J-J.Ch. Meyer",

year = "2010",

language = "Undefined/Unknown",

pages = "161--194",

editor = "\{Dr. Dastani\}, M. and K.V. Hindriks and \{Prof.dr. Meyer\}, J.-J.Ch.",

booktitle = "Specification and Verification of Multi-Agent Systems",

publisher = "Springer",

}