"Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations."

Lijun Zhang et al. (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics