Formal Modeling and Analysis of Timed Systems

MLA

Jansen, Pavithra Prabhakar, and Pavithra Prabhakar. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2018.

APA

Jansen, J., Pavithra Prabhakar, P. Prabhakar, & Prabhakar, P. (2018). Formal Modeling and Analysis of Timed Systems. Springer International Publishing.

Chicago

Jansen, Pavithra Prabhakar, and Pavithra Prabhakar. Formal Modeling and Analysis of Timed Systems. : Springer International Publishing, 2018.