Decidability Questions for Finite Probabilistic Propositional Dynamic Logic

Cached

Download Links

by Revised Version , M. L. Tiomkin , J. A. Makowsky