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
Pages (from-to)195-225
JournalJournal of Logic, Language and Information
Volume11
DOIs
Publication statusPublished - 2002

Bibliographical note

JLLI

Cite this