| |
| 2004 | ||
|---|---|---|
| 2 | EE | Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter: Verifying Multi-agent Systems via Unbounded Model Checking. FAABS 2004: 189-212 |
| 2002 | ||
| 1 | EE | Alessio Lomuscio, T. Lasica, Wojciech Penczek: Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. FAABS 2002: 115-125 |
| 1 | Magdalena Kacprzak | [2] |
| 2 | Alessio Lomuscio | [1] [2] |
| 3 | Wojciech Penczek | [1] [2] |
| 4 | Maciej Szreter | [2] |