@inbook{de76b38a838d481ab0d7588f3ab9bbeb,
title = "Formal Methods and Agent-Based Systems",
author = "Michael Luck and Mark d'Inverno",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag London Limited 2006",
year = "2005",
month = oct,
day = "26",
doi = "10.1007/1-84628-271-3_3",
language = "English",
isbn = "9781849969697",
series = "NASA Monographs in Systems and Software Engineering",
publisher = "Springer London",
pages = "65--96",
editor = "Rouff, {Christopher A.} and Michael Hinchey and James Rash and Walter Truszkowski and Diana Gordon-Spears",
booktitle = "Agent Technology from a Formal Perspective",
address = "United Kingdom",
edition = "1st",
}