@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},
	biburl = {http://www.bibsonomy.org/bibtex/29434a399820443655b8c848b8c555112/dblp},
	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 }
}