Formal Modeling and Analysis of Timed Systems

MLA

Legay, and Marius Bozga. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2014.

APA

Legay, L., & Bozga, M. (2014). Formal Modeling and Analysis of Timed Systems. Springer International Publishing.

Chicago

Legay, and Marius Bozga. Formal Modeling and Analysis of Timed Systems. : Springer International Publishing, 2014.