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
Works matching IS 00015903 AND DT 2000 AND VI 36 AND IP 11
Results: 2
1
2
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