Showing 1 - 3 results of 3 for search 'Chechik, M', query time: 0.02s Refine Results
  1. 1
  2. 2

    Safety Verification of Continuous-Space Pure Jump Markov Processes by Esmaeil Zadeh Soudjani, S, Majumdar, R, Abate, A

    Published 2016
    Other Authors: “…Chechik, M…”
    Conference item
  3. 3

    Efficient syntax-driven lumping of differential equations by Cardelli, L, Tribastone, M, Tschaikowski, M, Vandin, A

    Published 2016
    Other Authors: “…Chechik, M…”
    Conference item