Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari. A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. In Floriana Esposito, Zbigniew W. Ras, Donato Malerba, Giovanni Semeraro, editors, Foundations of Intelligent Systems, 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings. Volume 4203 of Lecture Notes in Computer Science, pages 338-343, Springer, 2006. [doi]
Abstract is missing.