Joeri Engelfriet, Catholijn M. Jonker, Jan Treur. Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic, Language and Information, 11(2):195-225, 2002.
No references recorded for this publication.
No citations of this publication recorded.