Protocure: supporting the development of medical protocols through formal methods.
Balser M, Coltell O, van Croonenborg J, Duelli C, van Harmelen F, Jovell A, Lucas P, Marcos M, Miksch S, Reif W, Rosenbrand K, Seyfang A, ten Teije A.
Balser M, et al. Among authors: seyfang a.
Stud Health Technol Inform. 2004;101:103-7.
Stud Health Technol Inform. 2004.
PMID: 15537209