Article,
Using model checking for critiquing based on clinical guidelines.
P. Groot, A. Hommersom, P. Lucas, R. Merk, A. ten Teije, F. van Harmelen, and R. Serban.Artif. Intell. Medicine, 46 (1): 19-36 (2009)
Meta data
- BibTeX key
- journals/artmed/GrootHLMTHS09
- entry type
- article
- year
- 2009
- journal
- Artif. Intell. Medicine
- number
- 1
- pages
- 19-36
- volume
- 46
- ee
- https://www.wikidata.org/entity/Q28295482
- url
- http://dblp.uni-trier.de/db/journals/artmed/artmed46.html#GrootHLMTHS09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/artmed/GrootHLMTHS09
%A Groot, Perry
%A Hommersom, Arjen
%A Lucas, Peter J. F.
%A Merk, Robbert-Jan
%A ten Teije, Annette
%A van Harmelen, Frank
%A Serban, Radu
%D 2009
%J Artif. Intell. Medicine
%K dblp
%N 1
%P 19-36
%T Using model checking for critiquing based on clinical guidelines.
%U http://dblp.uni-trier.de/db/journals/artmed/artmed46.html#GrootHLMTHS09
%V 46
@article{journals/artmed/GrootHLMTHS09,
added-at = {2020-02-20T00:00:00.000+0100},
author = {Groot, Perry and Hommersom, Arjen and Lucas, Peter J. F. and Merk, Robbert-Jan and ten Teije, Annette and van Harmelen, Frank and Serban, Radu},
biburl = {https://www.bibsonomy.org/bibtex/25598f5eba9739fca9db74d0b9e153d1b/dblp},
ee = {https://www.wikidata.org/entity/Q28295482},
interhash = {c811db397b279009f1dbfaf5003790ca},
intrahash = {5598f5eba9739fca9db74d0b9e153d1b},
journal = {Artif. Intell. Medicine},
keywords = {dblp},
number = 1,
pages = {19-36},
timestamp = {2020-02-21T12:07:06.000+0100},
title = {Using model checking for critiquing based on clinical guidelines.},
url = {http://dblp.uni-trier.de/db/journals/artmed/artmed46.html#GrootHLMTHS09},
volume = 46,
year = 2009
}