GrootHLSTH07'

@inproceedings{DBLP:conf/aime/GrootHLSTH07,
  author    = {Perry Groot and
               Arjen Hommersom and
               Peter J. F. Lucas and
               Radu Serban and
               Annette ten Teije and
               Frank van Harmelen},
  title     = {The Role of Model Checking in Critiquing Based on Clinical
               Guidelines},
  booktitle = {AIME},
  year      = {2007},
  pages     = {411-420},
  ee        = {http://dx.doi.org/10.1007/978-3-540-73599-1_55},
  crossref  = {DBLP:conf/aime/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aime/2007,
  editor    = {Riccardo Bellazzi and
               Ameen Abu-Hanna and
               Jim Hunter},
  title     = {Artificial Intelligence in Medicine, 11th Conference on
               Artificial Intelligence in Medicine, AIME 2007, Amsterdam,
               The Netherlands, July 7-11, 2007, Proceedings},
  booktitle = {AIME},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4594},
  year      = {2007},
  isbn      = {978-3-540-73598-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}