Formal Modeling and Analysis of Timed Systems - 9783030850364

Jurdzinski - Formal Modeling and Analysis of Timed Systems 10th Inte - X555z

Fahrenberg - Formal Modeling and Analysis of Timed Systems 9th Inter - X555z

Braberman - Formal Modeling and Analysis of Timed Systems 11th Inter - X555z

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Sys

Sankaranarayanan - Formal Modeling and Analysis of Timed Systems 13t - X555z

Pettersson - Formal Modeling and Analysis of Timed Systems Third Int - X555z

Ouaknine - Formal Modeling and Analysis of Timed Systems 7th Internat - X555z