Formal Methods and Agent-Based Systems

Michael Luck; Mark d'Inverno

Formal Methods and Agent-Based Systems

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

Original language	English
Title of host publication	Agent Technology from a Formal Perspective
Editors	Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears
Publisher	Springer Finance
Pages	65-96
Number of pages	32
Publication status	Published - 2006

Publication series

Name	NASA Monographs in Systems and Software Engineering
Publisher	Springer

Cite this

@inbook{19d447e0ffb04029a3dd229d60efc04f,

title = "Formal Methods and Agent-Based Systems",

author = "Michael Luck and Mark d'Inverno",

year = "2006",

language = "English",

series = "NASA Monographs in Systems and Software Engineering",

publisher = "Springer Finance",

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",

}

Formal Methods and Agent-Based Systems. / Luck, Michael; d'Inverno, Mark.
Agent Technology from a Formal Perspective. ed. / Christopher A. Rouff; Michael Hinchey; James Rash; Walter Truszkowski; Diana Gordon-Spears. Springer Finance, 2006. p. 65-96 (NASA Monographs in Systems and Software Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

TY - CHAP

T1 - Formal Methods and Agent-Based Systems

AU - Luck, Michael

AU - d'Inverno, Mark

PY - 2006

Y1 - 2006

M3 - Other chapter contribution

T3 - NASA Monographs in Systems and Software Engineering

SP - 65

EP - 96

BT - Agent Technology from a Formal Perspective

A2 - Rouff, Christopher A.

A2 - Hinchey, Michael

A2 - Rash, James

A2 - Truszkowski, Walter

A2 - Gordon-Spears, Diana

PB - Springer Finance

ER -