Joeri Engelfriet, Catholijn M. Jonker, Jan Treur. Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In Jörg P. Müller, Munindar P. Singh, Anand S. Rao, editors, Intelligent Agents V, Agent Theories, Architectures, and Languages, 5th International Workshop, ATAL 98, Paris, France, July 4-7, 1998, Proceedings. Volume 1555 of Lecture Notes in Computer Science, pages 177-193, Springer, 1998.
Abstract is missing.