Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments

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

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-Based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems. Vol. 7
Editors	D. Gabbay, Ph. Smets
Publisher	Kluwer Academic Publishers
Pages	427-454
Number of pages	28
Publication status	Published - 2002

Cite this

@inproceedings{610fbc6b13404e39bb267a6d75b73470,

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

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

year = "2002",

language = "Undefined/Unknown",

pages = "427--454",

editor = "D. Gabbay and Ph. Smets",

booktitle = "Agent-Based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems. Vol. 7",

publisher = "Kluwer Academic Publishers",

address = "Netherlands",

}

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. / Jonker, C.M.; Treur, J.; de Vries, W.
Agent-Based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems. Vol. 7. ed. / D. Gabbay; Ph. Smets. Kluwer Academic Publishers, 2002. p. 427-454.

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 - 2002

Y1 - 2002

M3 - Conference contribution

SP - 427

EP - 454

BT - Agent-Based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems. Vol. 7

A2 - Gabbay, D.

A2 - Smets, Ph.

PB - Kluwer Academic Publishers

ER -