Protocure: Supporting the Development of Medical Protocols through Formal Methods

Title{Protocure: Supporting the Development of Medical Protocols through Formal Methods}
Publication TypeConference Paper
Year of Publication2004
AuthorsBalser, M., O. Coltell, J. van Croonenborg, C. Duelli, F. van Harmelen, A. Jovell, P. Lucas, M. Marcos, S. Miksch, W. Reif, K. Rosenbrand, A. Seyfang, and A. ten Teije
Conference NameProceedings of the International Joint Meeting EuroMISE 2004
Pages81
URLhttp://www.cvast.tuwien.ac.at/sites/default/files/publications/PDF/2004/Balser_CGP04.pdf