Publications
Filters: Author is Pablo Celayes [Clear All Filters]
, “Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization”, in QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, 2009, pp. 11-20.
paper-16.pdf (525.46 KB)
paper-16.pdf (525.46 KB)