@inproceedings{Marcos2003,
author = {Marcos, Mar and Balser, Michael and {Ten Teije}, Annette and {Van Harmelen}, Frank. and Duelli, Christoph},
booktitle = {Artificial intelligence in medicine: 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003 proceedings},
file = {:Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Marcos et al. - 2003 - Experiences in the Formalisation and Verification of Medical Protocols.pdf:pdf},
isbn = {3540201297},
pages = {132},
publisher = {Springer-Verlag New York Inc},
title = {{Experiences in the Formalisation and Verification of Medical Protocols}},
url = {http://books.google.com/books?hl=en{\&}lr={\&}id=3CNHhgwwlOoC{\&}oi=fnd{\&}pg=PA132{\&}dq=Experiences+in+the+formalisation+and+verification+of+medical+protocols{\&}ots=DP4fRqRBLn{\&}sig=-FXlZFvLS-Pr4fvmiearg0j9bxc http://www.cs.vu.nl/{~}annette/paper},
year = {2003}
}

{"_id":{"_str":"53425cb30e946d920a000b90"},"__v":156,"authorIDs":["3obmQ57ktWcYPG9dJ","54573d5e2abc8e9f370001f6","5de727fb97054edf010000c1","5dea103bfac96fde01000184","5deb5f460ff3bbdf010000d1","5deba5e19abf64df01000061","5def85b045114dde010000d9","5df1db001070c8ef01000133","5df2d9b379c00ade01000122","5df3ad4eec6029de010000dd","5df7e18ddc100cde0100016e","5dfc11c9b371afde010000fc","5e004ddc63155bde0100004b","5e048417db7916df010000ad","5e08b6da7dc1dcdf010000cb","5e0cd9f66762d1de010000ab","5e0d1dd49ecb35de01000107","5e0da304675bf1de0100009f","5e0db208c7ca67df01000042","5e110aa2d6a01ede01000094","5e14998e830852de01000048","5e1aee555f3d2cdf0100012c","5e1ee07a875c69df010000f1","5e21a5ed3ef35cdf0100014f","5e24a1a31a6264de01000014","5e24d16e981ceddf010000a0","5e2ca60dcca05fde01000002","5e373b254cbab2df010000b5","5e381f370691b8de0100012e","5e391f337f8bf3f30100009b","5e3d460bdc4cd0f301000080","5e412f0fb54187de010001fd","5e46956e2e79a6df01000015","5e4f90e342a908de010000f0","5e55e1eec2c8a2df0100004b","5e55fb91819fabdf01000043","5e5d399073eb2edf0100005d","5e62c9b48f9dfede01000012","5e69ec413aab3cdf01000236","5e6a6051d37d43de0100021a","5uNwRzqPShqjj5w7n","67aLTCWbjGwkDDC9D","95DQ5KcEuc84FLGpw","9RwLS5Tu3kXtxYNXD","AZSDESQhTC3QweCiq","AgKpe75fbth2Q8zbs","Bm6s5DR3MSgxJ3wWr","BpJxc38YKyqTpBDhA","E5rA8DH9RCbZ8trMX","Er2P5Yhz7RkA8HH5Q","GuR62ZXthJcND8FNe","HK78wHnj2BKwHox8E","QxvM7gxJduoC5ACWE","SCujaYWzkdYmyT2Eo","cy8fYiReXtfHc2tqN","etKTQjxCiA468douC","fX6HifTArZSbcCozd","jde8THxMDAYEbySTP","ot9kP7ojCmwzzGy2d","oynzRoATcqFByjhqE","qBc7At3jT9LnqBMw3","rey8AwcLiwHEcvMRX","shBRjbZTLWKah2ebY","tdg6Pso6ddJK2rTaD","uhynEQbsamWFGmHHD","zyWJw2NzMcSAHredn"],"author_short":["Marcos, M.","Balser, M.","Ten Teije, A.","Van Harmelen, F.","Duelli, C."],"bibbaseid":"marcos-balser-tenteije-vanharmelen-duelli-experiencesintheformalisationandverificationofmedicalprotocols-2003","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Marcos"],"firstnames":["Mar"],"suffixes":[]},{"propositions":[],"lastnames":["Balser"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Ten Teije"],"firstnames":["Annette"],"suffixes":[]},{"propositions":[],"lastnames":["Van Harmelen"],"firstnames":["Frank."],"suffixes":[]},{"propositions":[],"lastnames":["Duelli"],"firstnames":["Christoph"],"suffixes":[]}],"booktitle":"Artificial intelligence in medicine: 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003 proceedings","file":":Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Marcos et al. - 2003 - Experiences in the Formalisation and Verification of Medical Protocols.pdf:pdf","isbn":"3540201297","pages":"132","publisher":"Springer-Verlag New York Inc","title":"Experiences in the Formalisation and Verification of Medical Protocols","url":"http://books.google.com/books?hl=en\\&lr=\\&id=3CNHhgwwlOoC\\&oi=fnd\\&pg=PA132\\&dq=Experiences+in+the+formalisation+and+verification+of+medical+protocols\\&ots=DP4fRqRBLn\\&sig=-FXlZFvLS-Pr4fvmiearg0j9bxc http://www.cs.vu.nl/~annette/paper","year":"2003","bibtex":"@inproceedings{Marcos2003,\nauthor = {Marcos, Mar and Balser, Michael and {Ten Teije}, Annette and {Van Harmelen}, Frank. and Duelli, Christoph},\nbooktitle = {Artificial intelligence in medicine: 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003 proceedings},\nfile = {:Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Marcos et al. - 2003 - Experiences in the Formalisation and Verification of Medical Protocols.pdf:pdf},\nisbn = {3540201297},\npages = {132},\npublisher = {Springer-Verlag New York Inc},\ntitle = {{Experiences in the Formalisation and Verification of Medical Protocols}},\nurl = {http://books.google.com/books?hl=en{\\&}lr={\\&}id=3CNHhgwwlOoC{\\&}oi=fnd{\\&}pg=PA132{\\&}dq=Experiences+in+the+formalisation+and+verification+of+medical+protocols{\\&}ots=DP4fRqRBLn{\\&}sig=-FXlZFvLS-Pr4fvmiearg0j9bxc http://www.cs.vu.nl/{~}annette/paper},\nyear = {2003}\n}\n","author_short":["Marcos, M.","Balser, M.","Ten Teije, A.","Van Harmelen, F.","Duelli, C."],"key":"Marcos2003","id":"Marcos2003","bibbaseid":"marcos-balser-tenteije-vanharmelen-duelli-experiencesintheformalisationandverificationofmedicalprotocols-2003","role":"author","urls":{"Paper":"http://books.google.com/books?hl=en\\&lr=\\&id=3CNHhgwwlOoC\\&oi=fnd\\&pg=PA132\\&dq=Experiences+in+the+formalisation+and+verification+of+medical+protocols\\&ots=DP4fRqRBLn\\&sig=-FXlZFvLS-Pr4fvmiearg0j9bxc http://www.cs.vu.nl/~annette/paper"},"metadata":{"authorlinks":{"van harmelen, f":"https://www.cs.vu.nl/~frankh/publications.html"}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~annette/Annette-mendeley.bib","downloads":1,"keywords":[],"search_terms":["experiences","formalisation","verification","medical","protocols","marcos","balser","ten teije","van harmelen","duelli"],"title":"Experiences in the Formalisation and Verification of Medical Protocols","year":2003,"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT","9CnmDh6oPMNTwHksm","LEcHEiZn5fKAs2WWu"]}