Symbolic Bisimulations for Probabilistic Systems

by Peng Wu , Catuscia Palamidessi , Huimin Lin
Citations:3 - 0 self