Works matching IS 14332779 AND DT 2010 AND VI 12 AND IP 2

Results: 6
    1
    2

    Scalable shared memory LTL model checking.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 2, p. 139, doi. 10.1007/s10009-010-0136-z
    By:
    • Barnat, J.;
    • Brim, L.;
    • Ročkai, P.
    Publication type:
    Article
    3

    LTL satisfiability checking.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 2, p. 123, doi. 10.1007/s10009-010-0140-3
    By:
    • Rozier, Kristin Y.;
    • Vardi, Moshe Y.
    Publication type:
    Article
    4

    Distributed dynamic partial order reduction.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 2, p. 113, doi. 10.1007/s10009-010-0144-z
    By:
    • Yu Yang;
    • Xiaofang Chen;
    • Gopalakrishnan, Ganesh;
    • Kirby, Robert M.
    Publication type:
    Article
    5
    6