Works matching IS 14332779 AND DT 2015 AND VI 17 AND IP 3


Results: 8
    1
    2

    Statistical model checking for biological systems.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 3, p. 351, doi. 10.1007/s10009-014-0323-4
    By:
    • David, Alexandre;
    • Larsen, Kim;
    • Legay, Axel;
    • Mikučionis, Marius;
    • Poulsen, Danny;
    • Sedwards, Sean
    Publication type:
    Article
    3
    4
    5
    6
    7
    8