Formal Modeling and Analysis of Timed Systems

MLA

Franzle, Martin;Markey, Nicolas, and Nicolas Markey. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2016.

APA

Franzle, N., & Markey, N. (2016). Formal Modeling and Analysis of Timed Systems. Springer International Publishing.

Chicago

Franzle, Martin;Markey, Nicolas, and Nicolas Markey. Formal Modeling and Analysis of Timed Systems. : Springer International Publishing, 2016.