Semantics analysis through elementary meanings.
- Published in:
- Acta Informatica, 2000, v. 37, n. 1, p. 1, doi. 10.1007/PL00013302
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2000 AND VI 37 AND IP 1
Results: 3
1
2
Data structures for order-sensitive predicates in parallel nondeterministic systems.
- Published in:
- Acta Informatica, 2000, v. 37, n. 1, p. 21, doi. 10.1007/PL00013301
- By:
- Publication type:
- Article
3
Accepting Zeno words: a way toward timed refinements.
- Published in:
- Acta Informatica, 2000, v. 37, n. 1, p. 45
- By:
- Publication type:
- Article