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

C.M. Jonker, J. Treur

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)51-92
Number of pages42
JournalInternational Journal of Cooperative Information Systems
Volume11
Publication statusPublished - 2002

Cite this