APA (7th ed.) Citation

QEST+FORMATS Calgary, Hillston, J., Soudjani, S., & Waga, M. (2024). Quantitative evaluation of systems and formal modeling and analysis of timed systems: First international joint conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, proceedings (1st ed. 2024.). Springer. https://doi.org/10.1007/978-3-031-68416-6

Chicago Style (17th ed.) Citation

QEST+FORMATS Calgary, Jane Hillston, Sadegh Soudjani, and Masaki Waga. Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings. 1st ed. 2024. Cham, Switzerland: Springer, 2024. https://doi.org/10.1007/978-3-031-68416-6.

MLA (9th ed.) Citation

QEST+FORMATS Calgary, et al. Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings. 1st ed. 2024. Springer, 2024. https://doi.org/10.1007/978-3-031-68416-6.