Formal Modeling and Analysis of Timed Systems - 9783642333644

Formal Modeling and Analysis of Timed Systems : 10th International Conference...

Bernardo - Formal Methods for Computational Systems Biology 8th Inte - X555z

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

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

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

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

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