Formal Modeling and Analysis of Timed Systems

MLA

Cassez, Franck, et al. Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg, 2008.

APA

Cassez, F., Jard, C., Kanade, T., & Kittler, J. (2008). Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg.

Chicago

Cassez, Franck, Claude Jard, Takeo Kanade, and Josef Kittler. Formal Modeling and Analysis of Timed Systems. : Springer Berlin Heidelberg, 2008.