Arjen Hommersom, Perry Groot, Michael Balser, Peter J. F. Lucas. Formal Methods for Verification of Clinical Practice Guidelines. In Annette ten Teije, Silvia Miksch, Peter J. F. Lucas, editors, Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. Volume 139 of Studies in Health Technology and Informatics, pages 63-80, IOS Press, 2008. [doi]
Abstract is missing.