In: 17th International Conference on FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS). International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS-2019) August 27-29 Amsterdam Netherlands 2019.
Zur PublikationIn: Design Automation Conference (DAC). Design Automation Conference (DAC-2019) June 2-6 Las Vegas Nevada United States 2019.
Zur Publikation