Works matching IS 00015903 AND DT 1998 AND VI 35 AND IP 2
Results: 3
Data refinement of mixed specifications.
- Published in:
- Acta Informatica, 1998, v. 35, n. 2, p. 91, doi. 10.1007/s002360050115
- By:
- Publication type:
- Article
Refinement of fair action systems.
- Published in:
- Acta Informatica, 1998, v. 35, n. 2, p. 131, doi. 10.1007/s002360050116
- By:
- Publication type:
- Article
About the Collatz conjecture.
- Published in:
- Acta Informatica, 1998, v. 35, n. 2, p. 167, doi. 10.1007/s002360050117
- By:
- Publication type:
- Article