Deutsche Gesellschaftfür phänomenologische Forschung
Repository | Serials | | Bände
A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic
M. KacprzakW. Penczek
Band
Title
Autor
