![]() | ![]() |
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] |