Decision Algorithms for Probabilistic Bisimulation (2002)

Cached

Download Links

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