Model checking and evidence exploration (2003)

by Y Dong, C R Ramakrishnan, S A Smolka
Venue:in Proceedings of the 10th IEEE Symposium and Workshops on Engineering of Computer-Based Systems (ECBS’03