Symmetry and partial order reduction techniques in model checking Rebeca.
- Published in:
- Acta Informatica, 2010, v. 47, n. 1, p. 33, doi. 10.1007/s00236-009-0111-x
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2010 AND VI 47 AND IP 1
Results: 3
1
2
Automata-based verification of programs with tree updates.
- Published in:
- Acta Informatica, 2010, v. 47, n. 1, p. 1, doi. 10.1007/s00236-009-0108-5
- By:
- Publication type:
- Article
3
M/M/1 retrial queue with working vacations.
- Published in:
- Acta Informatica, 2010, v. 47, n. 1, p. 67, doi. 10.1007/s00236-009-0110-y
- By:
- Publication type:
- Article