Fazle Rabbi, Ahmed Shah Mashiyat, Wendy MacCaull. Model Checking Workflow Monitors and Its Application to a Pain Management Process. 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 111-128, Springer, 2011. [doi]
Abstract is missing.