Formal Modeling and Analysis of Timed Systems

MLA

Abate, and Gilles Geeraerts. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2017.

APA

Abate, A., & Geeraerts, G. (2017). Formal Modeling and Analysis of Timed Systems. Springer International Publishing.

Chicago

Abate, and Gilles Geeraerts. Formal Modeling and Analysis of Timed Systems. : Springer International Publishing, 2017.