Catholijn M. Jonker, Ioan Alfred Letia, Jan Treur. Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements. In Michael Wooldridge, Gerhard Weiß, Paolo Ciancarini, editors, Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions. Volume 2222 of Lecture Notes in Computer Science, pages 17-32, Springer, 2001. [doi]
Abstract is missing.