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