Found: 2
Select item for more details and to access through your institution.
STG decomposition strategies in combination with unfolding.
- Published in:
- Acta Informatica, 2009, v. 46, n. 6, p. 433, doi. 10.1007/s00236-009-0102-y
- By:
- Publication type:
- Article
Reasoning about faulty quantum programs.
- Published in:
- Acta Informatica, 2009, v. 46, n. 6, p. 403, doi. 10.1007/s00236-009-0100-0
- By:
- Publication type:
- Article