Developing Formal Specifications of MAS in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem.

Hong Zhu Developing Formal Specifications of MAS in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem. 2002 conf/aois/2002-2 AOIS@AAMAS http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-59/3Zhu.pdf db/conf/aois/aois2002-2.html#Zhu02