Logical Characterizations of Bisimulations for Discrete Probabilistic Systems (2007)

Cached

Download Links

by Augusto Parma , Roberto Segala
Citations:11 - 0 self