Using the Maude term rewriting language for agent development with formal foundations.

MB van Riemsdijk, L Astefanoaei, FS de Boer

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

6 Citations (Scopus)
Original languageEnglish
Title of host publicationSpecification and Verification of Multi-agent Systems
EditorsKV Hindriks, M Dastani, JJ Meyer
Place of PublicationNew York, NY, USA
Number of pages405
ISBN (Print)978-1-4419-6983-5
Publication statusPublished - 2010


  • Boekdeel internat.wet

Cite this