Formal Modeling and Analysis of Timed Systems

MLA

Chatterjee, Krishnendu, et al. Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg, 2010.

APA

Chatterjee, K., Henzinger, T. A, Kanade, T., & Kittler, J. (2010). Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg.

Chicago

Chatterjee, Krishnendu, Thomas A Henzinger, Takeo Kanade, and Josef Kittler. Formal Modeling and Analysis of Timed Systems. : Springer Berlin Heidelberg, 2010.