Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments

C.M. Jonker, J. Treur, W. de Vries

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

Original language	Undefined/Unknown
Title of host publication	Agent Oriented Software Engineering, Proceedings of the First International Workshop (AOSE'2000
Editors	P. Ciancarini, M. Wooldridge
Place of Publication	Berlin, Germany
Publisher	Springer
Pages	253-267
Number of pages	15
Publication status	Published - 2001

Keywords

@inproceedings{bca6f2da774842d993119d86aeeb9214,

title = "Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments",

keywords = "Wiskunde en Informatica (WIIN)",

author = "C.M. Jonker and J. Treur and {de Vries}, W.",

year = "2001",

language = "Undefined/Unknown",

pages = "253--267",

editor = "P. Ciancarini and M. Wooldridge",

booktitle = "Agent Oriented Software Engineering, Proceedings of the First International Workshop (AOSE'2000",

publisher = "Springer",

}

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. / Jonker, C.M.; Treur, J.; de Vries, W.
Agent Oriented Software Engineering, Proceedings of the First International Workshop (AOSE'2000. ed. / P. Ciancarini; M. Wooldridge. Berlin, Germany: Springer, 2001. p. 253-267.

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

TY - GEN

T1 - Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments

AU - Jonker, C.M.

AU - Treur, J.

AU - de Vries, W.

PY - 2001

Y1 - 2001

KW - Wiskunde en Informatica (WIIN)

M3 - Conference contribution

SP - 253

EP - 267

BT - Agent Oriented Software Engineering, Proceedings of the First International Workshop (AOSE'2000

A2 - Ciancarini, P.

A2 - Wooldridge, M.

PB - Springer

CY - Berlin, Germany

ER -