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

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

Original language	Undefined/Unknown
Pages (from-to)	195-225
Number of pages	31
Journal	Journal of Logic, Language and Information
Volume	11
Publication status	Published - 2002

Cite this

@article{94e488f6c80d4be987796cce23ce2549,

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

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

year = "2002",

language = "Undefined/Unknown",

volume = "11",

pages = "195--225",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer Science and Business Media B.V.",

}