Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments

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

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationAgent-based Defeasible Control in Dynamic Environments
EditorsD. Gabbay, Ph. Smets
PublisherKluwer Academic Publishers
Pages427-454
Publication statusPublished - 2002

Bibliographical note

Software-Agents-Book

Cite this

Jonker, C. M., Treur, J., & de Vries, W. M. (2002). Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. In D. Gabbay, & P. Smets (Eds.), Agent-based Defeasible Control in Dynamic Environments (pp. 427-454). Kluwer Academic Publishers.
Jonker, C.M. ; Treur, J. ; de Vries, W.M. / Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. Agent-based Defeasible Control in Dynamic Environments. editor / D. Gabbay ; Ph. Smets. Kluwer Academic Publishers, 2002. pp. 427-454
@inbook{d2434de26cfa43bbb4bbd55c2bd8ad9d,
title = "Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments",
author = "C.M. Jonker and J. Treur and {de Vries}, W.M.",
note = "Software-Agents-Book",
year = "2002",
language = "English",
pages = "427--454",
editor = "D. Gabbay and Ph. Smets",
booktitle = "Agent-based Defeasible Control in Dynamic Environments",
publisher = "Kluwer Academic Publishers",

}

Jonker, CM, Treur, J & de Vries, WM 2002, Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. in D Gabbay & P Smets (eds), Agent-based Defeasible Control in Dynamic Environments. Kluwer Academic Publishers, pp. 427-454.

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. / Jonker, C.M.; Treur, J.; de Vries, W.M.

Agent-based Defeasible Control in Dynamic Environments. ed. / D. Gabbay; Ph. Smets. Kluwer Academic Publishers, 2002. p. 427-454.

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

TY - CHAP

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

AU - Jonker, C.M.

AU - Treur, J.

AU - de Vries, W.M.

N1 - Software-Agents-Book

PY - 2002

Y1 - 2002

M3 - Chapter

SP - 427

EP - 454

BT - Agent-based Defeasible Control in Dynamic Environments

A2 - Gabbay, D.

A2 - Smets, Ph.

PB - Kluwer Academic Publishers

ER -

Jonker CM, Treur J, de Vries WM. Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. In Gabbay D, Smets P, editors, Agent-based Defeasible Control in Dynamic Environments. Kluwer Academic Publishers. 2002. p. 427-454