Results: 2
Verification of clocked and hybrid systems.
- Published in:
- Acta Informatica, 2000, v. 36, n. 11, p. 837, doi. 10.1007/s002360050177
- By:
- Publication type:
- Article
Evolutionary systems: a language generating device inspired by evolving communities of cells.
- Published in:
- Acta Informatica, 2000, v. 36, n. 11, p. 913, doi. 10.1007/s002360050178
- By:
- Publication type:
- Article