@conference{81,
  author = {Michael Balser and Oscar Coltell and Joyce van Croonenborg and Christoph Duelli and Frank van Harmelen and Albert Jovell and Peter Lucas and Mar Marcos and Silvia Miksch and Wolfgang Reif and Kitty Rosenbrand and Andreas Seyfang and Annette Teije},
  title = {{Protocure: Supporting the Development of Medical Protocols through Formal Methods}},
  year = {2004},
  journal = {Proceedings of the International Joint Meeting EuroMISE 2004},
  pages = {81},
  url = {http://www.cvast.tuwien.ac.at/sites/default/files/publications/PDF/2004/Balser_CGP04.pdf},
  language = {eng},
}