{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
|
| URL |
http://www.cvast.tuwien.ac.at/sites/default/files/publications/PDF/2004/Balser_CGP04.pdf
|
| Download citation |