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
Works matching IS 00015903 AND DT 2002 AND VI 38 AND IP 8
Results: 3
1
2
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
3
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