author : Penczek
1
publication
Verifying Multi-agent Systems via Unbounded Model Checking (2005) — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter Verifying Multi-agent Systems via Unbounded Model Checking (2005) — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter