@conference{94,
  author = {Georg Duftschmid and Silvia Miksch and Yuval Shahar and Peter Johnson},
  title = {{Multi-Level Verification of Clinical Protocols}},
  year = {1998},
  journal = {Proceedings of the Workshop on Validation & Verification of Knowledge-Based Systems (V&V'98)},
  volume = {4},
  pages = {1–10},
  publisher = {in conjunction with the Sixth International Conference on Principles of Knowledge Representation and Reasoning,(KR'98)},
  url = {http://www.cvast.tuwien.ac.at/sites/default/files/publications/PDF/1998/vv_98/duf_vv98.pdf},
  language = {eng},
}