Experiences in the Formalisation and Verification of Medical Protocols.

Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli

Browse the full AIME paper archive.