Formal specification and prototyping of multi-agent systems (2001)

by V Hilaire, A Koukam, P Gruer, J-P Müller
Venue:In Engineering Societies in the Agents