Model checking and evidence exploration (2003)

by Y Dong, C R Ramakrishnan, S A Smolka
Venue:In: ECBS