Compositional Verification of Knowledge-Based Systems in Temporal Epistemic Logic

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Verification, Model Checking and Abstract Interpretation
Editors	A. Bossi
Publisher	Dipartimento di Matematica Applicata ed Informatica, Universita Ca Foscari di Venezia, Venetie, Technical Report CS97-14
Number of pages	10
Publication status	Published - 1997

Persistent URL (handle)

@inproceedings{dc4a6e05ba84479f91e3f275ae27ef02,

title = "Compositional Verification of Knowledge-Based Systems in Temporal Epistemic Logic",

author = "J. Engelfriet and C.M. Jonker and J. Treur",

year = "1997",

language = "English",

editor = "A. Bossi",

booktitle = "Verification, Model Checking and Abstract Interpretation",

publisher = "Dipartimento di Matematica Applicata ed Informatica, Universita Ca Foscari di Venezia, Venetie, Technical Report CS97-14",

}

Compositional Verification of Knowledge-Based Systems in Temporal Epistemic Logic. / Engelfriet, J.; Jonker, C.M.; Treur, J.
Verification, Model Checking and Abstract Interpretation. ed. / A. Bossi. Dipartimento di Matematica Applicata ed Informatica, Universita Ca Foscari di Venezia, Venetie, Technical Report CS97-14, 1997.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Compositional Verification of Knowledge-Based Systems in Temporal Epistemic Logic

AU - Engelfriet, J.

AU - Jonker, C.M.

AU - Treur, J.

PY - 1997

Y1 - 1997

M3 - Conference contribution

BT - Verification, Model Checking and Abstract Interpretation

A2 - Bossi, A.

PB - Dipartimento di Matematica Applicata ed Informatica, Universita Ca Foscari di Venezia, Venetie, Technical Report CS97-14

ER -