Formal Modeling and Analysis of Timed Systems

MLA

André, and Mariëlle Stoelinga. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2019.

APA

André, A., & Stoelinga, M. (2019). Formal Modeling and Analysis of Timed Systems. Springer International Publishing.

Chicago

André, and Mariëlle Stoelinga. Formal Modeling and Analysis of Timed Systems. : Springer International Publishing, 2019.