Verification of medical guidelines by model checking – a case study (2006)

by S Bäumler, M Balser, A Dunets, W Reif, J Schmitt
Venue:In Proceedings of 13th International SPIN Workshop on Model Checking of Software