The Role of Model Checking in Critiquing Based on Clinical Guidelines.

Perry Groot, Arjen Hommersom, Peter J. F. Lucas, Radu Serban, Annette ten Teije, Frank van Harmelen

Browse the full AIME paper archive.