Cita APA (7th ed.)
Petrucci, L., & Sproston, J. (2023). Formal Modeling and Analysis of Timed Systems. Springer Nature.
Cita Chicago (17th ed.)
Petrucci, Laure, i Jeremy Sproston. Formal Modeling and Analysis of Timed Systems. Springer Nature, 2023.
Cita MLA (9th ed.)
Petrucci, Laure, i Jeremy Sproston. Formal Modeling and Analysis of Timed Systems. Springer Nature, 2023.
Atenció: Aquestes cites poden no estar 100% correctes.