Found: 4
Select item for more details and to access through your institution.
Parallel LL parsing.
- Published in:
- Acta Informatica, 2007, v. 44, n. 1, p. 1, doi. 10.1007/s00236-006-0031-y
- By:
- Publication type:
- Article
On using data abstractions for model checking refinements.
- Published in:
- Acta Informatica, 2007, v. 44, n. 1, p. 41, doi. 10.1007/s00236-007-0042-3
- By:
- Publication type:
- Article
An exact subexponential-time lattice algorithm for Asian options.
- Published in:
- Acta Informatica, 2007, v. 44, n. 1, p. 23, doi. 10.1007/s00236-006-0033-9
- By:
- Publication type:
- Article
Parallel LL parsing.
- Published in:
- 2007
- By:
- Publication type:
- Correction Notice