Using model checking for critiquing based on clinical guidelines

P. Groot, A. Hommersom, P.F. Lucas, R. Merk, A.C.M. ten Teije, F.A.H. van Harmelen, R.C. Serban

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Using model checking for critiquing based on clinical guidelines'. Together they form a unique fingerprint.

Computer Science