Works matching IS 00015903 AND DT 2022 AND VI 59 AND IP 2/3
Results: 4
Correction to: Sound reasoning in tock-CSP.
- Published in:
- Acta Informatica, 2022, v. 59, n. 2/3, p. 283, doi. 10.1007/s00236-021-00409-7
- By:
- Publication type:
- Article
Regular numeral systems for data structures.
- Published in:
- Acta Informatica, 2022, v. 59, n. 2/3, p. 245, doi. 10.1007/s00236-021-00407-9
- By:
- Publication type:
- Article
Proportional lumpability and proportional bisimilarity.
- Published in:
- Acta Informatica, 2022, v. 59, n. 2/3, p. 211, doi. 10.1007/s00236-021-00404-y
- By:
- Publication type:
- Article
An automated system repair framework with signal temporal logic.
- Published in:
- Acta Informatica, 2022, v. 59, n. 2/3, p. 183, doi. 10.1007/s00236-021-00403-z
- By:
- Publication type:
- Article