Hong Zhu. Developing Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem. In Paolo Giorgini, Yves Lespérance, Gerd Wagner, Eric S. K. Yu, editors, AOIS 02, Agent-Oriented Information Systems, Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002 at CAiSE*02). Volume 57 of CEUR Workshop Proceedings, CEUR-WS.org, 2002. [doi]
Abstract is missing.