Showing 1 - 2 results of 2 for search 'Matias David Lee', query time: 0.02s Refine Results
  1. 1
    SOS rule formats for convex and abstract probabilistic bisimulations

    SOS rule formats for convex and abstract probabilistic bisimulations by Pedro R. D'Argenio, Matias David Lee, Daniel Gebler

    Published 2015-08-01
    Get full text
    Article
  2. 2
    Tree rules in probabilistic transition system specifications with negative and quantitative premises

    Tree rules in probabilistic transition system specifications with negative and quantitative premises by Pedro R. D'Argenio, Matias David Lee, Daniel Gebler

    Published 2012-08-01
    Get full text
    Article

Search Tools: