i-Abstract The role of medical protocols is becoming more and more important in the medical field. Within the Protocure project it has been shown that the quality of medical protocols can be improved by formalization, something much easier said than done. The formalization turns out to be a very time-consuming task resulting in a formal protocol that is much more complex than the original versi...
