Works matching IS 14332779 AND DT 2004 AND VI 6 AND IP 1
Results: 6
A logical encoding of the π-calculus: model checking mobile processes using tabled resolution.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 1, p. 38, doi. 10.1007/s10009-003-0136-3
- By:
- Publication type:
- Article
Using simulated execution in verifying distributed algorithms.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 1, p. 67, doi. 10.1007/s10009-003-0126-5
- By:
- Publication type:
- Article
Certification of compiled assembly code by invariant translation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 1, p. 15, doi. 10.1007/s10009-003-0125-6
- By:
- Publication type:
- Article
Efficient verification of timed automata with BDD-like data structures.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 1, p. 77, doi. 10.1007/s10009-003-0135-4
- By:
- Publication type:
- Article
Behavior-based model construction.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 1, p. 4, doi. 10.1007/s10009-004-0139-8
- By:
- Publication type:
- Article
Preface by the section editors.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 1, p. 1, doi. 10.1007/s10009-004-0144-y
- By:
- Publication type:
- Article