Improving medical protocols by formal methods.
ten Teije A, Marcos M, Balser M, van Croonenborg J, Duelli C, van Harmelen F, Lucas P, Miksch S, Reif W, Rosenbrand K, Seyfang A.
ten Teije A, et al.
Artif Intell Med. 2006 Mar;36(3):193-209. doi: 10.1016/j.artmed.2005.10.006. Epub 2006 Jan 11.
Artif Intell Med. 2006.
PMID: 16376061
Free article.