Backward Stochastic Bisimulation (2004)

by J Sproston, S Donatelli
Venue:in CSL Model Checking,” Proc. First Int’l Conf. Quantitative Evaluation of Systems (QEST ’04