1. Partial order reduction for probabilistic systems;Baier,2004
2. Christel Baier. On the algorithmic verification of probabilistic systems. Universität Mannheim, 1998. Habilitation Thesis
3. Model checking of probabilistic and nondeterministic systems;Bianco,1995
4. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Transactions on Programming Languages and Systems,1986
5. Partial order reduction on concurrent probabilistic programs;D'Argenio,2004