Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Joeri Engelfriet, Catholijn M. Jonker and Jan TreurVolume:
11
Language:
english
Journal:
Journal of Logic, Language, and Information
DOI:
10.2307/40180254
Date:
January, 2002
File:
PDF, 2.51 MB
english, 2002