Found: 1
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