Formal Modeling and Analysis of Timed Systems
Book title Buchtitel
Formal Modeling and Analysis of Timed Systems
ISBN
978-3-030-29661-2
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-030-29662-9