@inproceedings{2007-Groot-RoleMC, author = "{Groot}, P.", title = "{The Role of Model Checking in Critiquing based on Clinical Guidelines}", booktitle = "{19th Belgian--Dutch Conference on Artificial Intelligence(BNAIC--2007)}", year = "2007", research_group = "iris", pages = "353--354", class = "Conference" }