Works matching IS 00015903 AND DT 2009 AND VI 46 AND IP 6
Results: 2
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