Showing 1 - 3 results of 3 for search 'Daniel Gebler', זמן שאילתה: 0.02s Refine Results
  1. 1
    SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes

    SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes מאת Valentina Castiglioni, Daniel Gebler, Simone Tini

    יצא לאור 2018-06-01
    קבל טקסט מלא
    Article
  2. 2
    Behavioural Pseudometrics for Nondeterministic Probabilistic Systems

    Behavioural Pseudometrics for Nondeterministic Probabilistic Systems מאת Wenjie Du, Yuxin Deng, Daniel Gebler

    יצא לאור 2022-12-01
    קבל טקסט מלא
    Article
  3. 3
    Compositional bisimulation metric reasoning with Probabilistic Process Calculi

    Compositional bisimulation metric reasoning with Probabilistic Process Calculi מאת Daniel Gebler, Kim G. Larsen, Simone Tini

    יצא לאור 2017-04-01
    קבל טקסט מלא
    Article

כלי חיפוש: