## Continuous Stochastic Logic Characterizes Bisimulation of Continuous-time Markov Processes (2002)

by
Josée Desharnais
,
Prakash Panangaden

Venue: | J. of Logic and Alg. Progr |

Citations: | 32 - 3 self |