Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
Book title Buchtitel
Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
ISBN
978-3-031-42626-1
Editor Herausgeber_in
Publisher Herausgeber
Springer LNCS
DOI
10.1007/978-3-031-42626-1
Volume Band
14138
Results 1-1 of 1 (Search time: 0.002 seconds).