Found: 3
Select item for more details and to access through your institution.
Relaxed red-black trees with group updates.
- Published in:
- Acta Informatica, 2002, v. 38, n. 8, p. 565, doi. 10.1007/s00236-002-0086-3
- By:
- Publication type:
- Article
Automatic verification of concurrent systems using a formula-based compositional approach.
- Published in:
- Acta Informatica, 2002, v. 38, n. 8, p. 531, doi. 10.1007/s00236-002-0084-5
- By:
- Publication type:
- Article
On the non-approximability of points-to analysis.
- Published in:
- Acta Informatica, 2002, v. 38, n. 8, p. 587, doi. 10.1007/s00236-002-0081-8
- By:
- Publication type:
- Article