DMCA

Nondeterministic labeled Markov processes: Bisimulations and logical characterizations (2009)

by Pedro R. D’argenio , Pedro Sánchez Terraf , Pablo Celayes , Ciudad Universitaria , Córdoba Argentina
Venue:In Proc. of the 6th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2009
Citations:6 - 3 self