@inproceedings{conf/aime/GrootHLSTH07,
title = {The Role of Model Checking in Critiquing Based on Clinical Guidelines.},
author = {Perry Groot and Arjen Hommersom and Peter J. F. Lucas and Radu Serban and Annette ten Teije and Frank van Harmelen},
booktitle = {AIME},
crossref = {conf/aime/2007},
editor = {Riccardo Bellazzi and Ameen Abu-Hanna and Jim Hunter},
pages = {411-420},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/aime/aime2007.html#GrootHLSTH07},
volume = {4594},
year = {2007},
description = {dblp},
ee = {http://dx.doi.org/10.1007/978-3-540-73599-1_55}, isbn = {978-3-540-73598-4}, date = {2007-09-19},
keywords = {dblp }
}
::