Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts. Experiences with a Compositional Model Checker in the Healthcare Domain. 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 93-110, Springer, 2011. [doi]
Abstract is missing.