Showing 1 - 11 results of 11 for search '"London"', query time: 0.03s Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5

    Rooted branching bisimulation as a congruence for probabilistic transition systems by Lee, Matías David, de Vink, Erik P.

    Published 2022
    “…Ponencia presentada en el 13 International Workshop on Quantitative Aspects of Programming Languages and Systems. London, United Kingdom, April 11-12, 2015.…”
    Get full text
    conferenceObject
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11