Formal Modeling and Analysis of Timed Systems

MLA

Asarin, Eugene, et al. Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg, 2006.

APA

Asarin, E., Bouyer, P., Kanade, T., & Kittler, J. (2006). Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg.

Chicago

Asarin, Eugene, Patricia Bouyer, Takeo Kanade, and Josef Kittler. Formal Modeling and Analysis of Timed Systems. : Springer Berlin Heidelberg, 2006.