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 ten Teije},
title = {Protocure: Supporting the Development of Medical Protocols through Formal Methods},
booktitle = {Proceedings of the Symposium of Computerised Protocols and Guidelines({SCPG}-04)},
year = 2004,
publisher = "Springer Verlag",
series = "Lecture Notes in Artificial Intelligence",
number = {xxx},
editor = {xxx},
pages = {xxx},
note = "ISBN xxx",
address = {Prague},
month = {April}}