Found: 2

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

  • STOCHASTIC TIMED AUTOMATA.

    Published in:
    Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:6)2014
    By:
    • BERTRAND, NATHALIE;
    • BOUYER, PATRICIA;
    • BRIHAYE, THOMAS;
    • MENET, QUENTIN;
    • BAIER, CHRISTEL;
    • GRÖSSER, MARCUS;
    • JURDZIŃSKI, MARCIN
    Publication type:
    Article

  • Stochastic game logic.

    Published in:
    Acta Informatica, 2012, v. 49, n. 4, p. 203, doi. 10.1007/s00236-012-0156-0
    By:
    • Baier, Christel;
    • Brázdil, Tomáš;
    • Größer, Marcus;
    • Kučera, Antonín
    Publication type:
    Article