Decision Algorithms for Probabilistic Bisimulation (2002)

Cached

Download Links

by Stefano Cattani , Roberto Segala
Citations:22 - 3 self