On the decidability of the existence of polyhedral invariants in transition systems.
- Published in:
- Acta Informatica, 2019, v. 56, n. 4, p. 385, doi. 10.1007/s00236-018-0324-y
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2019 AND VI 56 AND IP 4
Results: 3
1
2
Equivalence checking of Petri net models of programs using static and dynamic cut-points.
- Published in:
- Acta Informatica, 2019, v. 56, n. 4, p. 321, doi. 10.1007/s00236-018-0320-2
- By:
- Publication type:
- Article
3
A generalised theory of Interface Automata, component compatibility and error.
- Published in:
- Acta Informatica, 2019, v. 56, n. 4, p. 287, doi. 10.1007/s00236-018-0319-8
- By:
- Publication type:
- Article