CINECA IRIS Institutional Research Information System

Preface

J. Sproston
2023-01-01
2023
21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023)
Antwerp, Belgium
19 - 21 September 2023
Proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023)
Springer
14138
5
6
9783031426254
https://link.springer.com/book/10.1007/978-3-031-42626-1
L. Petrucci, J. Sproston
04A-Conference paper in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1947136
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact