Protocure: Supporting the Development of Medical Protocols through Formal Methods

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]

Authors

Michael Balser

This author has not been identified. Look up 'Michael Balser' in Google

Óscar Coltell

This author has not been identified. Look up 'Óscar Coltell' in Google

Joyce van Croonenborg

This author has not been identified. Look up 'Joyce van Croonenborg' in Google

Christoph Duelli

This author has not been identified. Look up 'Christoph Duelli' in Google

Frank van Harmelen

This author has not been identified. Look up 'Frank van Harmelen' in Google

Albert Jovell

This author has not been identified. Look up 'Albert Jovell' in Google

Peter J. F. Lucas

This author has not been identified. Look up 'Peter J. F. Lucas' in Google

Mar Marcos

This author has not been identified. Look up 'Mar Marcos' in Google

Silvia Miksch

This author has not been identified. Look up 'Silvia Miksch' in Google

Wolfgang Reif

This author has not been identified. It may be one of the following persons: Look up 'Wolfgang Reif' in Google

Kitty Rosenbrand

This author has not been identified. Look up 'Kitty Rosenbrand' in Google

Andreas Seyfang

This author has not been identified. Look up 'Andreas Seyfang' in Google

Annette ten Teije

This author has not been identified. Look up 'Annette ten Teije' in Google