Alessio Lomuscio, T. Lasica, Wojciech Penczek. Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. In Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Diana F. Gordon-Spears, editors, Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers. Volume 2699 of Lecture Notes in Computer Science, pages 115-125, Springer, 2002. [doi]
Abstract is missing.