Formal Modeling and Analysis of Timed Systems

MLA

Raskin, Jean-François, et al. Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg, 2007.

APA

Raskin, J., Kanade, T., Thiagarajan, P. S, & Kittler, J. (2007). Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg.

Chicago

Raskin, Jean-François, Takeo Kanade, P. S Thiagarajan, and Josef Kittler. Formal Modeling and Analysis of Timed Systems. : Springer Berlin Heidelberg, 2007.