Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments

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

Original language	English
Title of host publication	Agent-based Defeasible Control in Dynamic Environments
Editors	D. Gabbay, Ph. Smets
Publisher	Kluwer Academic Publishers
Pages	427-454
Publication status	Published - 2002

Software-Agents-Book

Persistent URL (handle)

@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",

}