Formal Modeling and Analysis of Timed Systems

MLA

Ouaknine, Joël, et al. Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg, 2009.

APA

Ouaknine, J., Kanade, T., Vaandrager, F. W, & Kittler, J. (2009). Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg.

Chicago

Ouaknine, Joël, Takeo Kanade, Frits W Vaandrager, and Josef Kittler. Formal Modeling and Analysis of Timed Systems. : Springer Berlin Heidelberg, 2009.