Logical Characterizations of Bisimulations for Discrete Probabilistic Systems (2007)

View PDF

Download Links

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