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

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

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)337-367
JournalKnowledge and Information Systems
Volume5
DOIs
Publication statusPublished - 2003

Bibliographical note

KISJ

Cite this

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

}

Compositional Verification of Knowledge-Based Task Models and Problem Solving Methods. / Cornelissen, F.J.; Jonker, C.M.; Treur, J.

In: Knowledge and Information Systems, Vol. 5, 2003, p. 337-367.

Research output: Contribution to JournalArticleAcademicpeer-review

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

VL - 5

SP - 337

EP - 367

JO - Knowledge and Information Systems

JF - Knowledge and Information Systems

SN - 0219-1377

ER -