Arjen Hommersom, Perry Groot, Michael Balser, Peter J. F. Lucas. Formal Methods for Verification of Clinical Practice Guidelines. In Annette ten Teije, Silvia Miksch, Peter J. F. Lucas, editors, Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. Volume 139 of Studies in Health Technology and Informatics, pages 63-80, IOS Press, 2008. [doi]
@incollection{HommersomGBL08,
title = {Formal Methods for Verification of Clinical Practice Guidelines},
author = {Arjen Hommersom and Perry Groot and Michael Balser and Peter J. F. Lucas},
year = {2008},
doi = {10.3233/978-1-58603-873-1-63},
url = {https://doi.org/10.3233/978-1-58603-873-1-63},
researchr = {https://researchr.org/publication/HommersomGBL08},
cites = {0},
citedby = {0},
pages = {63-80},
booktitle = {Computer-based Medical Guidelines and Protocols: A Primer and Current Trends},
editor = {Annette ten Teije and Silvia Miksch and Peter J. F. Lucas},
volume = {139},
series = {Studies in Health Technology and Informatics},
publisher = {IOS Press},
isbn = {978-1-58603-873-1},
}