Publications

Filters: Author is Bertrand, Nathalie  [Clear All Filters]
2015
M. D. Lee and de Vink, E. P., “Rooted branching bisimulation as a congruence for probabilistic transition systems”, in Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, London, UK, 11th-12th April 2015, vol. 194, N. Bertrand and Tribastone, M., Eds. Open Publishing Association, 2015, pp. 79-94.PDF icon paper-572.pdf (233.09 KB)

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054