Found: 3
Select item for more details and to access through your institution.
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
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
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