Found: 3
Select item for more details and to access through your institution.
Semantics analysis through elementary meanings.
- Published in:
- Acta Informatica, 2000, v. 37, n. 1, p. 1, doi. 10.1007/PL00013302
- By:
- Publication type:
- Article
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
Accepting Zeno words: a way toward timed refinements.
- Published in:
- Acta Informatica, 2000, v. 37, n. 1, p. 45
- By:
- Publication type:
- Article