Verification within the KARO Agent Theory

U. Hustadt; C. Dixon; R.A. Schmidt; M. Fischer; J-J.Ch. Meyer; W. van der Hoek

Verification within the KARO Agent Theory

U. Hustadt, C. Dixon, R.A. Schmidt, M. Fischer, J-J.Ch. Meyer, W. van der Hoek

Dept of Information and Computing Sciences

extern

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

Original language	Undefined/Unknown
Title of host publication	Proceedings First Goddard Workshop on: Formal Approaches to Agent-Based Systems (FAABS 2000)
Editors	J.L. Rash, C.A. Rouff, W. Truszkowski, D. Gordon, M.G. Hinchey
Place of Publication	Berlin/Heidelberg, Germany
Publisher	Springer
Pages	33-47
Number of pages	15
Publication status	Published - 2001

Keywords

Wiskunde en Informatica (WIIN)

Cite this

@inproceedings{ab71d4220f2f4b019cf6ae70aa8ac551,

title = "Verification within the KARO Agent Theory",

keywords = "Wiskunde en Informatica (WIIN)",

author = "U. Hustadt and C. Dixon and R.A. Schmidt and M. Fischer and J-J.Ch. Meyer and {van der Hoek}, W.",

year = "2001",

language = "Undefined/Unknown",

pages = "33--47",

editor = "J.L. Rash and C.A. Rouff and W. Truszkowski and D. Gordon and M.G. Hinchey",

booktitle = "Proceedings First Goddard Workshop on: Formal Approaches to Agent-Based Systems (FAABS 2000)",

publisher = "Springer",

}

Verification within the KARO Agent Theory. / Hustadt, U.; Dixon, C.; Schmidt, R.A. et al.
Proceedings First Goddard Workshop on: Formal Approaches to Agent-Based Systems (FAABS 2000). ed. / J.L. Rash; C.A. Rouff; W. Truszkowski; D. Gordon; M.G. Hinchey. Berlin/Heidelberg, Germany: Springer, 2001. p. 33-47.

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

TY - GEN

T1 - Verification within the KARO Agent Theory

AU - Hustadt, U.

AU - Dixon, C.

AU - Schmidt, R.A.

AU - Fischer, M.

AU - Meyer, J-J.Ch.

AU - van der Hoek, W.

PY - 2001

Y1 - 2001

KW - Wiskunde en Informatica (WIIN)

M3 - Conference contribution

SP - 33

EP - 47

BT - Proceedings First Goddard Workshop on: Formal Approaches to Agent-Based Systems (FAABS 2000)

A2 - Rash, J.L.

A2 - Rouff, C.A.

A2 - Truszkowski, W.

A2 - Gordon, D.

A2 - Hinchey, M.G.

PB - Springer

CY - Berlin/Heidelberg, Germany

ER -