T. Lasica

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter
Verifying Multi-agent Systems via Unbounded Model Checking. FAABS (2004)
Alessio Lomuscio, T. Lasica, Wojciech Penczek
Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. FAABS (2002)