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)
,