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]
@inproceedings{BalserCCDHJLMMR04,
title = {Protocure: Supporting the Development of Medical Protocols through Formal Methods},
author = {Michael Balser and Óscar Coltell and Joyce van Croonenborg and Christoph Duelli and Frank van Harmelen and Albert Jovell and Peter J. F. Lucas and Mar Marcos and Silvia Miksch and Wolfgang Reif and Kitty Rosenbrand and Andreas Seyfang and Annette ten Teije},
year = {2004},
doi = {10.3233/978-1-60750-944-8-103},
url = {https://doi.org/10.3233/978-1-60750-944-8-103},
researchr = {https://researchr.org/publication/BalserCCDHJLMMR04},
cites = {0},
citedby = {0},
pages = {103-107},
booktitle = {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},
editor = {Katharina Kaiser and Silvia Miksch and Samson W. Tu},
volume = {101},
series = {Studies in Health Technology and Informatics},
publisher = {IOS Press},
isbn = {978-1-58603-412-2},
}