Hong Zhu. Developing Formal Specifications of MAS 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 AAMAS*02). Volume 59 of CEUR Workshop Proceedings, CEUR-WS.org, 2002. [doi]
Abstract is missing.