@inproceedings{ CGP04,
  author    = {Michel Balser and O. Coltell and Joyce Croonenborg and Christoph Duelli and Frank Harmelen and A. Jovell and Peter Lucas and Mar Marcos and Silvia Miksch and Wolfgang Reif and Kitty Rosenbrand A Seyfang and Annette Teije},
  title     = {Protocure: Supporting the Development of Medical Protocols through Formal Methods},
  series   = {Studies in Health, Technology and Information},
  booktitle   = {Proceedings of the workshop on Computerised Protocols and Guidelines},
  pages   = {103-107} ,
  year   = {2004}
}

{"_id":"ZqJwaH3euterHZ3ch","bibbaseid":"balser-coltell-croonenborg-duelli-harmelen-jovell-lucas-marcos-etal-protocuresupportingthedevelopmentofmedicalprotocolsthroughformalmethods-2004","downloads":0,"creationDate":"2015-12-10T11:13:14.374Z","title":"Protocure: Supporting the Development of Medical Protocols through Formal Methods","author_short":["Balser, M.","Coltell, O.","Croonenborg, J.","Duelli, C.","Harmelen, F.","Jovell, A.","Lucas, P.","Marcos, M.","Miksch, S.","Reif, W.","Seyfang, K. R. A","Teije, A."],"year":2004,"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/mar-marcos/?format=bibtex","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michel"],"propositions":[],"lastnames":["Balser"],"suffixes":[]},{"firstnames":["O."],"propositions":[],"lastnames":["Coltell"],"suffixes":[]},{"firstnames":["Joyce"],"propositions":[],"lastnames":["Croonenborg"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Duelli"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Jovell"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Lucas"],"suffixes":[]},{"firstnames":["Mar"],"propositions":[],"lastnames":["Marcos"],"suffixes":[]},{"firstnames":["Silvia"],"propositions":[],"lastnames":["Miksch"],"suffixes":[]},{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Reif"],"suffixes":[]},{"firstnames":["Kitty","Rosenbrand","A"],"propositions":[],"lastnames":["Seyfang"],"suffixes":[]},{"firstnames":["Annette"],"propositions":[],"lastnames":["Teije"],"suffixes":[]}],"title":"Protocure: Supporting the Development of Medical Protocols through Formal Methods","series":"Studies in Health, Technology and Information","booktitle":"Proceedings of the workshop on Computerised Protocols and Guidelines","pages":"103-107","year":"2004","bibtex":"@inproceedings{ CGP04,\n author = {Michel Balser and O. Coltell and Joyce Croonenborg and Christoph Duelli and Frank Harmelen and A. Jovell and Peter Lucas and Mar Marcos and Silvia Miksch and Wolfgang Reif and Kitty Rosenbrand A Seyfang and Annette Teije},\n title = {Protocure: Supporting the Development of Medical Protocols through Formal Methods},\n series = {Studies in Health, Technology and Information},\n booktitle = {Proceedings of the workshop on Computerised Protocols and Guidelines},\n pages = {103-107} ,\n year = {2004}\n}\n\n\n","author_short":["Balser, M.","Coltell, O.","Croonenborg, J.","Duelli, C.","Harmelen, F.","Jovell, A.","Lucas, P.","Marcos, M.","Miksch, S.","Reif, W.","Seyfang, K. R. A","Teije, A."],"key":"CGP04","id":"CGP04","bibbaseid":"balser-coltell-croonenborg-duelli-harmelen-jovell-lucas-marcos-etal-protocuresupportingthedevelopmentofmedicalprotocolsthroughformalmethods-2004","role":"author","urls":{},"downloads":0},"search_terms":["protocure","supporting","development","medical","protocols","through","formal","methods","balser","coltell","croonenborg","duelli","harmelen","jovell","lucas","marcos","miksch","reif","seyfang","teije"],"keywords":[],"authorIDs":["5456eb938b01c81930000068","5456f3288b01c819300000a3","5459767ab43425b7720005a6","54922657d2d96cd677000753"],"dataSources":["5mKtQK4iQdsEXNjRm"]}