Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka. Model Checking and Evidence Exploration. In 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA. pages 214-223, IEEE Computer Society, 2003. [doi]
Abstract is missing.