Works matching IS 00015903 AND DT 2018 AND VI 55 AND IP 6

Results: 4
    1

    Probabilistic bisimulation for realistic schedulers.

    Published in:
    Acta Informatica, 2018, v. 55, n. 6, p. 461, doi. 10.1007/s00236-018-0313-1
    By:
    • Zhang, Lijun;
    • Yang, Pengfei;
    • Song, Lei;
    • Hermanns, Holger;
    • Eisentraut, Christian;
    • Jansen, David N.;
    • Godskesen, Jens Chr.
    Publication type:
    Article
    2
    3
    4