Petrucci, L., & Sproston, J. (2023). Formal Modeling and Analysis of Timed Systems. Springer Nature.
Successfully copied to clipboard
Copying to clipboard failed
Citación estilo Chicago
Petrucci, Laure, and Jeremy Sproston. Formal Modeling and Analysis of Timed Systems. Springer Nature, 2023.
Successfully copied to clipboard
Copying to clipboard failed
Cita MLA
Petrucci, Laure, and Jeremy Sproston. Formal Modeling and Analysis of Timed Systems. Springer Nature, 2023.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.