Results: 3
On path-controlled insertion-deletion systems.
- Published in:
- Acta Informatica, 2019, v. 56, n. 1, p. 35, doi. 10.1007/s00236-018-0312-2
- By:
- Publication type:
- Article
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory.
- Published in:
- Acta Informatica, 2019, v. 56, n. 1, p. 61, doi. 10.1007/s00236-018-0314-0
- By:
- Publication type:
- Article
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph.
- Published in:
- Acta Informatica, 2019, v. 56, n. 1, p. 1, doi. 10.1007/s00236-018-0311-3
- By:
- Publication type:
- Article