Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

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

Original language	English
Title of host publication	Agent-based Defeasible Control in Dynamic Environments
Editors	D. Gabbay, Ph. Smets
Publisher	Kluwer Academic Publishers
Pages	221-252
Publication status	Published - 2002

Software-Agents-Book

Persistent URL (handle)

@inbook{07cee4ef58ab45fe883d85a2c7def42d,

title = "Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic",

author = "J. Engelfriet and C.M. Jonker and J. Treur",

note = "Software-Agents-Book ",

year = "2002",

language = "English",

pages = "221--252",

editor = "D. Gabbay and Ph. Smets",

booktitle = "Agent-based Defeasible Control in Dynamic Environments",

publisher = "Kluwer Academic Publishers",

}