Formal Modeling and Analysis of Timed Systems

MLA

Kanade, Takeo, et al. Formal Modeling and Analysis of Timed Systems. Springer Berlin / Heidelberg, 2005.

APA

Kanade, T., Pettersson, P., Yi, W., & Kittler, J. (2005). Formal Modeling and Analysis of Timed Systems. Springer Berlin / Heidelberg.

Chicago

Kanade, Takeo, Paul Pettersson, Wang Yi, and Josef Kittler. Formal Modeling and Analysis of Timed Systems. : Springer Berlin / Heidelberg, 2005.