Publications of Michael Balser
| 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, "{Protocure: Supporting the Development of Medical Protocols through Formal Methods}", Proceedings of the International Joint Meeting EuroMISE 2004, pp. 81, 2004. paper | |
| 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, "{Protocure: Integrating Formal Methods in the Development Process of Medical Guidelines and Protocols}", Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols (CGP 2004), vol. 101, pp. 103–107, 2004. |