Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio. Model Checking GSM-Based Multi-Agent Systems. In Alessio Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandic, editors, Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Volume 8377 of Lecture Notes in Computer Science, pages 54-68, Springer, 2013. [doi]
Abstract is missing.