{Protocure: Supporting the Development of Medical Protocols through Formal Methods}

Author
Conference Paper
Year of Publication
2004
Conference Name
Proceedings of the International Joint Meeting EuroMISE 2004
Number of Pages
Type of Work
Publication Language
Citation Key
URL
http://www.cvast.tuwien.ac.at/sites/default/files/publications/PDF/2004/Balser_CGP04.pdf