Junhua Ding, M. N. H. Tabrizi. Modeling and Model Checking of a Clinical Diagnostic Algorithm. In Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008. pages 78-83, IEEE, 2008. [doi]
Abstract is missing.