Formal Modeling and Analysis of Timed Systems

MLA

Braberman, Vctor; Fribourg, Laurent, Víctor Braberman, and Laurent Fribourg. Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg, 2013.

APA

Braberman, L., Braberman, V., & Fribourg, L. (2013). Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg.

Chicago

Braberman, Vctor; Fribourg, Laurent, Víctor Braberman, and Laurent Fribourg. Formal Modeling and Analysis of Timed Systems. : Springer Berlin Heidelberg, 2013.