BMC: An Efficient Method to Evaluate Probabilistic Reachability Queries.

Ke ZhuWenjie ZhangGaoping ZhuYing ZhangXuemin Lin
Published in: DASFAA (1) (2011)