Data di Pubblicazione:
2023
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
L. Petrucci, J. Sproston
Link alla scheda completa:
Titolo del libro:
Proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023)
Pubblicato in: