Compositional Verification of Knowledge-Based Systems in Temporal Epistemic Logic

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

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationVerification, Model Checking and Abstract Interpretation
EditorsA. Bossi
PublisherDipartimento di Matematica Applicata ed Informatica, Universita Ca Foscari di Venezia, Venetie, Technical Report CS97-14
Number of pages10
Publication statusPublished - 1997

Cite this