Improving medical protocols by formal methods, (2006)

by A T Teije, M Marcos, J Balser, V Croonenborg, C Duelli, F V Harmelen, P J Lucas, S Miksch, W Reif, K Rosenbrand, A Seyfang
Venue:Artificial Intelligence in Medicine,