BMC: An Efficient Method to Evaluate Probabilistic Reachability Queries (2011)

by K Zhu, W Zhang, G Zhu, Y Zhang, X Lin
Venue:In DASFAA