Repository | People

156076

References

W. Penczek

A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic

2004

with Kacprzak M.

Synthese 142/2

Open Access Link