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 volume › Chapter › Scientific

Original language	English
Title of host publication	Specification and Verification of Multi-agent Systems
Editors	KV Hindriks, M Dastani, JJ Meyer
Place of Publication	New York, NY, USA
Publisher	Springer
Pages	255-287
Number of pages	405
ISBN (Print)	978-1-4419-6983-5
Publication status	Published - 2010

Keywords

@inbook{71307a4cc43d4e9c83c6dc2ab1c4be3b,

title = "Using the Maude term rewriting language for agent development with formal foundations.",

keywords = "Boekdeel internat.wet",

author = "{van Riemsdijk}, MB and L Astefanoaei and {de Boer}, FS",

year = "2010",

language = "English",

isbn = "978-1-4419-6983-5",

pages = "255--287",

editor = "KV Hindriks and M Dastani and JJ Meyer",

booktitle = "Specification and Verification of Multi-agent Systems",

publisher = "Springer",

address = "United States",

}

Using the Maude term rewriting language for agent development with formal foundations. / van Riemsdijk, MB; Astefanoaei, L; de Boer, FS.
Specification and Verification of Multi-agent Systems. ed. / KV Hindriks; M Dastani; JJ Meyer. New York, NY, USA: Springer, 2010. p. 255-287.

Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific

TY - CHAP

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

AU - van Riemsdijk, MB

AU - Astefanoaei, L

AU - de Boer, FS

PY - 2010

Y1 - 2010

KW - Boekdeel internat.wet

M3 - Chapter

SN - 978-1-4419-6983-5

SP - 255

EP - 287

BT - Specification and Verification of Multi-agent Systems

A2 - Hindriks, KV

A2 - Dastani, M

A2 - Meyer, JJ

PB - Springer

CY - New York, NY, USA

ER -