Model Checking and Evidence Exploration (2003)

by Yifei Dong , C.R. Ramakrishnan , Scott A. Smolka
Citations:7 - 1 self