Structural liveness of Petri nets is ExpSpace-hard and decidable.
- Published in:
- Acta Informatica, 2019, v. 56, n. 6, p. 537, doi. 10.1007/s00236-019-00338-6
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2019 AND VI 56 AND IP 6
Results: 4
1
2
The model checking fingerprints of CTL operators.
- Published in:
- Acta Informatica, 2019, v. 56, n. 6, p. 487, doi. 10.1007/s00236-018-0326-9
- By:
- Publication type:
- Article
3
Parikh matrices for powers of words.
- Published in:
- Acta Informatica, 2019, v. 56, n. 6, p. 521, doi. 10.1007/s00236-018-0327-8
- By:
- Publication type:
- Article
4
Identity-based signatures in standard model.
- Published in:
- Acta Informatica, 2019, v. 56, n. 6, p. 471, doi. 10.1007/s00236-018-0322-0
- By:
- Publication type:
- Article