Michael Balser, Óscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter J. F. Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette ten Teije. Protocure: Supporting the Development of Medical Protocols through Formal Methods. In Katharina Kaiser, Silvia Miksch, Samson W. Tu, editors, Computer-based Support for Clinical Guidelines and Protocols - Proceedings of the Symposium on Computerized Guidelines and Protocols, CGP 2004, Prague, Czech Republic, 12-14 April, 2004. Volume 101 of Studies in Health Technology and Informatics, pages 103-107, IOS Press, 2004. [doi]
Abstract is missing.