Christopher Rouff, James L. Rash, Michael G. Hinchey. Experience Using Formal Methods for Specifying a Multi-Agent System. In 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan. pages 72, IEEE Computer Society, 2000. [doi]
Abstract is missing.