Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	51-92
Journal	International Journal of Cooperative Information Systems
Volume	11
DOIs	https://doi.org/10.1142/S0218843002000480
Publication status	Published - 2002

IJCIS

Access to Document

@article{1cd45cb781044b0b84fc628d096fbf92,

title = "Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness",

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

note = "IJCIS ",

year = "2002",

doi = "10.1142/S0218843002000480",

language = "English",

volume = "11",

pages = "51--92",

journal = "International Journal of Cooperative Information Systems",

issn = "0218-8430",

publisher = "World Scientific Publishing Co. Pte Ltd",

}

TY - JOUR

T1 - Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness

AU - Jonker, C.M.

AU - Treur, J.

N1 - IJCIS

PY - 2002

Y1 - 2002

UR - https://www.scopus.com/pages/publications/0035994559

UR - https://www.scopus.com/inward/citedby.url?scp=0035994559&partnerID=8YFLogxK

U2 - 10.1142/S0218843002000480

DO - 10.1142/S0218843002000480

M3 - Article

SN - 0218-8430

VL - 11

SP - 51

EP - 92

JO - International Journal of Cooperative Information Systems

JF - International Journal of Cooperative Information Systems

ER -