{Multi-Level Verification of Clinical Protocols}

Author
Conference Paper
Year of Publication
1998
Conference Name
Proceedings of the Workshop on Validation & Verification of Knowledge-Based Systems (V&V'98)
Volume
Number of Pages
Type of Work
Publication Language
Publisher
in conjunction with the Sixth International Conference on Principles of Knowledge Representation and Reasoning,(KR'98)
Citation Key
URL
http://www.cvast.tuwien.ac.at/sites/default/files/publications/PDF/1998/vv_98/duf_vv98.pdf