Formal Modeling and Analysis of Timed Systems

MLA

Fahrenberg, Uli, et al. Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg, 2011.

APA

Fahrenberg, U., Kanade, T., Tripakis, S., & Kittler, J. (2011). Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg.

Chicago

Fahrenberg, Uli, Takeo Kanade, Stavros Tripakis, and Josef Kittler. Formal Modeling and Analysis of Timed Systems. : Springer Berlin Heidelberg, 2011.