Return to Article Details Towards Formalizing Multi-Agent Systems Functional Requirements In Maude Download Download PDF