Specification by refinement and agreement: designing agent interaction using landmarks and contracts

H. Weigand, M.V. Dignum, J-J.Ch. Meyer, F.P.M. Dignum

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Engineering Societies in the Agents World III
Editors	P. Petta, R. Tolksdorf
Place of Publication	Berlin, Duitsland
Publisher	Springer
Publication status	Published - 2003

Name	Lecture Notes in Computer Science
Publisher	Springer

Access to Document

@inproceedings{2d415d2f68614f7cafa8d891a847e2ba,

title = "Specification by refinement and agreement: designing agent interaction using landmarks and contracts",

author = "H. Weigand and M.V. Dignum and J-J.Ch. Meyer and F.P.M. Dignum",

year = "2003",

language = "Undefined/Unknown",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

editor = "P. Petta and R. Tolksdorf",

booktitle = "Engineering Societies in the Agents World III",

}

Specification by refinement and agreement: designing agent interaction using landmarks and contracts. / Weigand, H.; Dignum, M.V.; Meyer, J-J.Ch. et al.
Engineering Societies in the Agents World III. ed. / P. Petta; R. Tolksdorf. Berlin, Duitsland: Springer, 2003. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Specification by refinement and agreement: designing agent interaction using landmarks and contracts

AU - Weigand, H.

AU - Dignum, M.V.

AU - Meyer, J-J.Ch.

AU - Dignum, F.P.M.

PY - 2003

Y1 - 2003

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

BT - Engineering Societies in the Agents World III

A2 - Petta, P.

A2 - Tolksdorf, R.

PB - Springer

CY - Berlin, Duitsland

ER -