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

J. Engelfriet, C.M. Jonker, J. Treur

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

Original language	English
Journal	Journal of Logic, Language and Information
Publication status	Published - 2000

Cite this

@article{e636ee293ac14729a79d9bd3de89e1af,

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

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

year = "2000",

language = "English",

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

issn = "0925-8531",

publisher = "Springer Netherlands",

}