Alessio Lomuscio, Franco Raimondi, Marek J. Sergot. Towards model checking interpreted systems. In The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings. pages 1054-1055, ACM, 2003. [doi]
Abstract is missing.