@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)},
  language = {eng},
}