Works matching IS 14332779 AND DT 2005 AND VI 7 AND IP 1

Results: 7

    • Parallel search for LTL violations.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 1, p. 31, doi. 10.1007/s10009-003-0115-8
      By:
      • Jones, Michael D.;
      • Sorber, Jacob
      Publication type:
      Article

    • Distributed reachability analysis in timed automata.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 1, p. 19, doi. 10.1007/s10009-003-0111-z
      By:
      • Behrmann, Gerd
      Publication type:
      Article

    • Sequential and distributed model checking of Petri nets.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 1, p. 43, doi. 10.1007/s10009-003-0129-2
      By:
      • Bell, Alexander;
      • Haverkort, Boudewijn R.
      Publication type:
      Article

    • Issues in distributed timed model checking.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 1, p. 4, doi. 10.1007/s10009-004-0143-z
      By:
      • Braberman, Víctor;
      • Olivero, Alfredo;
      • Schapachnik, Fernando
      Publication type:
      Article

    • Assumption-based distribution of CTL model checking.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 1, p. 61, doi. 10.1007/s10009-004-0163-8
      By:
      • Brim, Luboš;
      • Yorav, Karen;
      • Žídková, Jitka
      Publication type:
      Article

    • A distributed algorithm for strong bisimulation reduction of state spaces.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 1, p. 74, doi. 10.1007/s10009-004-0159-4
      By:
      • Blom, Stefan;
      • Orzan, Simona
      Publication type:
      Article

    • Introductory paper.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 1, p. 1, doi. 10.1007/s10009-004-0177-2
      By:
      • Brim, Lubo&sbreve;;
      • Grumberg, Orna
      Publication type:
      Article