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