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	Handbook of Defeasible Reasoning and Uncertainty Management Systems
Editors	J.-J. Meyer, J. Treur
Publisher	Kluwer Academic
Pages	427-454
Number of pages	28
Publication status	Published - 2002

Cite this

@inproceedings{f430cf15198448dd90db81a7f291d6bd,

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 = "J.-J. Meyer and J. Treur",

booktitle = "Handbook of Defeasible Reasoning and Uncertainty Management Systems",

publisher = "Kluwer Academic",

}