Found: 2
Select item for more details and to access through your institution.
Lifting non-finite axiomatizability results to extensions of process algebras.
- Published in:
- Acta Informatica, 2010, v. 47, n. 3, p. 147, doi. 10.1007/s00236-010-0114-7
- By:
- Publication type:
- Article
LR error repair using the A* algorithm.
- Published in:
- Acta Informatica, 2010, v. 47, n. 3, p. 179, doi. 10.1007/s00236-010-0115-6
- By:
- Publication type:
- Article