Decidability of model checking for infinite-state concurrent systems.
- Published in:
- Acta Informatica, 1997, v. 34, n. 2, p. 85, doi. 10.1007/s002360050074
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 1997 AND VI 34 AND IP 2
Results: 4
1
2
The additivity problem for functional dependencies in incomplete relations.
- Published in:
- Acta Informatica, 1997, v. 34, n. 2, p. 135, doi. 10.1007/s002360050076
- By:
- Publication type:
- Article
3
Distance measures for point sets and their computation.
- Published in:
- Acta Informatica, 1997, v. 34, n. 2, p. 109, doi. 10.1007/s002360050075
- By:
- Publication type:
- Article
4
Computational fractal geometry with WFA.
- Published in:
- Acta Informatica, 1997, v. 34, n. 2, p. 151, doi. 10.1007/s002360050077
- By:
- Publication type:
- Article