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

address = "Netherlands",

}

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. / Jonker, C.M.; Treur, J.; de Vries, W.
Handbook of Defeasible Reasoning and Uncertainty Management Systems. ed. / J.-J. Meyer; J. Treur. Kluwer Academic Publishers, 2002. p. 427-454.

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