TY  - RPRT
TI  - Improving medical protocols by formal methods.
AU  - Annette ten Teije
AU  - Mar Marcos
AU  - Michel Balser
AU  - Joyce van Croonenborg
AU  - Christoph Duelli
AU  - Frank van Harmelen
AU  - Peter Lucas
AU  - Silvia Miksch
AU  - Wolfgang Reif
AU  - Kitty Rosenbrand
AU  - Andreas Seyfang
PY  - 2006
DO  - 10.1016/j.artmed.2005.10.006
UR  - https://pubmed.ncbi.nlm.nih.gov/16376061/
ID  - 16376061
ER  -