Description
Formal Modeling and Analysis of Timed Systems (Broché). This book constitutes the refereed proceedings of the 13th International Conference on Formal…

Formal Modeling and Analysis of Timed Systems (Broché). This book constitutes the refereed proceedings of the 13th International Conference on Formal…
Formal Modeling and Analysis of Timed Systems (Broché). This book constitutes the refereed proceedings of the 13th International Conference on Formal…