Central and East EuropeanSociety for Phenomenology
Repository | Directory | Profile
in English
A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic
2004
M. KacprzakW. Penczek
Synthese 142/2
