Found: 1

Select item for more details and to access through your institution.

  • 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