Protocure: Supporting the Development of Medical Protocols through Formal Methods

Conference Paper
Author
Michael Balser
Oscar Coltell
Joyce van Croonenborg
Christoph Duelli
Frank van Harmelen
Albert Jovell
Peter Lucas
Mar Marcos
Silvia Miksch
Wolfgang Reif
Kitty Rosenbrand
Andreas Seyfang
Annette Teije
Year of Publication
2004
Conference Name
Proceedings of the International Joint Meeting EuroMISE 2004
reposiTUm Handle
20.500.12708/50976
Paper
Balser_CGP04.pdf
Download citation