{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)
|
| 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
|
| Download citation |