Editorial 2023: changes and invariants.
- Published in:
- 2023
- By:
- Publication type:
- Editorial
Works matching IS 00015903 AND DT 2023 AND VI 60 AND IP 4
Results: 5
1
2
The second step in characterizing a three-word code.
- Published in:
- Acta Informatica, 2023, v. 60, n. 4, p. 453, doi. 10.1007/s00236-023-00444-6
- By:
- Publication type:
- Article
3
Dot to dot, simple or sophisticated: a survey on shape reconstruction algorithms.
- Published in:
- Acta Informatica, 2023, v. 60, n. 4, p. 335, doi. 10.1007/s00236-023-00443-7
- By:
- Publication type:
- Article
4
Testing membership for timed automata.
- Published in:
- Acta Informatica, 2023, v. 60, n. 4, p. 361, doi. 10.1007/s00236-023-00442-8
- By:
- Publication type:
- Article
5
On first-order runtime enforcement of branching-time properties.
- Published in:
- Acta Informatica, 2023, v. 60, n. 4, p. 385, doi. 10.1007/s00236-023-00441-9
- By:
- Publication type:
- Article