Using Model Checking for Critiquing based on Clinical Guidelines

Fulltext present in this item

Fulltext: 72379.pdf

Format: PDF

Description: publisher's version

Embargo: until further notice

Title:	Using Model Checking for Critiquing based on Clinical Guidelines
Author(s):	Groot, P.C. ; Hommersom, A.J. ; Lucas, P.J.F. ; Merk, R.J.; Teije, A. ten; Harmelen, F. van; Serban, R.
Publication year:	2008
Source:	Artificial Intelligence in Medicine, vol. 46, iss. 1, (2008), pp. 19-36
ISSN:	0933-3657
DOI:	https://doi.org/10.1016/j.artmed.2008.07.007
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/72379
Display more details
Subject:	Data Science Software Science
Organization:	Data Science Software Science
Journal title:	Artificial Intelligence in Medicine
Volume:	vol. 46
Issue:	iss. 1
Page start:	p. 19
Page end:	p. 36

Faculty of Science [27564]
Electronic publications [82708]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [178837]
Academic output Radboud University