Decision algorithms for probabilistic simulations

Lijun Zhang 0001. Decision algorithms for probabilistic simulations. PhD thesis, Saarland University, Saarbrücken, Germany, 2009. [doi]

Abstract

Abstract is missing.