Works matching IS 14332779 AND DT 2016 AND VI 18 AND IP 5

Results: 6
    1
    2
    3

    Counting dynamically synchronizing processes.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 517, doi. 10.1007/s10009-015-0411-0
    By:
    • Ganjei, Zeinab;
    • Rezine, Ahmed;
    • Eles, Petru;
    • Peng, Zebo
    Publication type:
    Article
    4

    Soundness of data-aware, case-centric processes.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 535, doi. 10.1007/s10009-016-0417-2
    By:
    • Montali, Marco;
    • Calvanese, Diego
    Publication type:
    Article
    5

    Parameterized verification.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 469, doi. 10.1007/s10009-016-0424-3
    By:
    • Abdulla, Parosh;
    • Delzanno, Giorgio
    Publication type:
    Article
    6

    Parameterized verification through view abstraction.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 495, doi. 10.1007/s10009-015-0406-x
    By:
    • Abdulla, Parosh;
    • Haziza, Frédéric;
    • Holík, Lukáš
    Publication type:
    Article