Formal Modeling and Analysis of Timed Systems

MLA

Bertrand, and Nils Jansen. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2020.

APA

Bertrand, B., & Jansen, N. (2020). Formal Modeling and Analysis of Timed Systems. Springer International Publishing.

Chicago

Bertrand, and Nils Jansen. Formal Modeling and Analysis of Timed Systems. : Springer International Publishing, 2020.