Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Artikeln
A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic
2004
M. KacprzakW. Penczek
Synthese 142/2
