Compositional Verification of Knowledge-Based Task Models and Problem Solving Methods

F.J. Cornelissen, C.M. Jonker, J. Treur

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	337-367
Journal	Knowledge and Information Systems
Volume	5
DOIs	https://doi.org/10.1007/s10115-002-0083-4
Publication status	Published - 2003

KISJ

Access to Document

@article{8f2a1c002405461b8bce3d63033e724b,

title = "Compositional Verification of Knowledge-Based Task Models and Problem Solving Methods",

author = "F.J. Cornelissen and C.M. Jonker and J. Treur",

note = "KISJ ",

year = "2003",

doi = "10.1007/s10115-002-0083-4",

language = "English",

volume = "5",

pages = "337--367",

journal = "Knowledge and Information Systems",

issn = "0219-1377",

publisher = "Springer London",

}

TY - JOUR

T1 - Compositional Verification of Knowledge-Based Task Models and Problem Solving Methods

AU - Cornelissen, F.J.

AU - Jonker, C.M.

AU - Treur, J.

N1 - KISJ

PY - 2003

Y1 - 2003

U2 - 10.1007/s10115-002-0083-4

DO - 10.1007/s10115-002-0083-4

M3 - Article

SN - 0219-1377

VL - 5

SP - 337

EP - 367

JO - Knowledge and Information Systems

JF - Knowledge and Information Systems

ER -