Nikolay V. Shilov, Natalya Olegovna Garanina. Well-Structured Model Checking of Multiagent Systems. In Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Volume 4378 of Lecture Notes in Computer Science, pages 363-376, Springer, 2006. [doi]
Abstract is missing.