Showing 1 - 3 results of 3 for search 'Mardare, R', query time: 0.02s Refine Results
  1. 1
    Modular Markovian Logic

    Modular Markovian Logic by Cardelli, L, Larsen, K, Mardare, R

    Published 2011
    Conference item
  2. 2
    Modular Markovian Logic.

    Modular Markovian Logic. by Cardelli, L, Larsen, K, Mardare, R

    Published 2011
    Book section
  3. 3
    Computing probabilistic bisimilarity distances for probabilistic automata

    Computing probabilistic bisimilarity distances for probabilistic automata by Bacci, G, Bacci, G, Larsen, KG, Mardare, R, Tang, Q, van Breugel, F

    Published 2021
    Journal article

Search Tools: