Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke. Comparing Three Formal Analysis Approaches of the Tropos Family. In Manuel Kolp, Brian Henderson-Sellers, Haralambos Mouratidis, Alessandro Garcia, Aditya Ghose, Paolo Bresciani, editors, Agent-Oriented Information Systems IV, 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers. Volume 4898 of Lecture Notes in Computer Science, pages 164-182, Springer, 2006. [doi]
Abstract is missing.