Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation (1996)

Cached

Download Links

by Christel Baier
Venue:Proc. CAV'96, LNCS 1102
Citations:20 - 5 self