Works matching IS 00015903 AND DT 2019 AND VI 56 AND IP 1
Results: 3
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
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
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