Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller. Formal Specification and Prototyping of Multi-agent Systems. In Andrea Omicini, Robert Tolksdorf, Franco Zambonelli, editors, Engineering Societies in the Agent World, First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000, Revised Papers. Volume 1972 of Lecture Notes in Computer Science, pages 114-127, Springer, 2000. [doi]
Abstract is missing.