On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints.

Christel Baier Marta Z. Kwiatkowska On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. 71-79 1998 66 Inf. Process. Lett. 2 db/journals/ipl/ipl66.html#BaierK98 http://dx.doi.org/10.1016/S0020-0190(98)00038-6