Formal Modeling and Analysis of Timed Systems

MLA

Sankaranarayanan, and Enrico Vicario. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2015.

APA

Sankaranarayanan, S., & Vicario, E. (2015). Formal Modeling and Analysis of Timed Systems. Springer International Publishing.

Chicago

Sankaranarayanan, and Enrico Vicario. Formal Modeling and Analysis of Timed Systems. : Springer International Publishing, 2015.