Formal Modeling and Analysis of Timed Systems

MLA

Hutchison, David, et al. Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Kittler, J., & Nickovic, D. (2012). Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Josef Kittler, and Dejan Nickovic. Formal Modeling and Analysis of Timed Systems. : Springer Berlin Heidelberg, 2012.