Model Checking and Evidence Exploration - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yifei Dong' in GoogleThis author has not been identified. Look up 'C. R. Ramakrishnan' in GoogleThis author has not been identified. Look up 'Scott A. Smolka' in Google

runs on WebDSL