Showing 1 - 2 results of 2 for search 'European Joint Conferences on Theory and Practice of Software (ETAPS)', query time: 0.20s Refine Results
  1. 1
    Trace refinement in labelled Markov decision processes

    Trace refinement in labelled Markov decision processes by Fijalkow, N, Kiefer, S, Shirmohammadi, M

    Published 2015
    “…European Joint Conferences on Theory and Practice of Software (ETAPS)…”
    Journal article
  2. 2
    Trace refinement in labelled Markov decision processes

    Trace refinement in labelled Markov decision processes by Fijalkow, N, Kiefer, S, Shirmohammadi, M

    Published 2015
    “…European Joint Conferences on Theory and Practice of Software (ETAPS)…”
    Conference item

Search Tools: