Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes.

Chris M. N. Tofts

Browse the full TACAS paper archive.