Dominique Méry, Neeraj Kumar Singh. Medical Protocol Diagnosis Using Formal Methods. In Zhiming Liu, Alan Wassyng, editors, Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. Volume 7151 of Lecture Notes in Computer Science, pages 1-20, Springer, 2011. [doi]
Abstract is missing.