%0 Journal Article %A Engelfriet, Joeri %A Jonker, Catholijn M. %A Treur, Jan %D 2002 %I Springer Netherlands %J Journal of Logic, Language and Information %N 2 %P 195-225 %T Compositional verification of multi-agent systems in temporal multi-epistemic logic %V 11