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

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

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
JournalJournal of Logic, Language and Information
Publication statusPublished - 2000

Cite this