T. Lasica

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

Coauthor Index

1	Magdalena Kacprzak	[2]
2	Alessio Lomuscio	[1] [2]
3	Wojciech Penczek	[1] [2]
4	Maciej Szreter	[2]