"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-032-05792-1","Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems","Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings","Pavithra Prabhakar; Andrea Vandin",2026,"1","https://doi.org/10.1007/978-3-032-05792-1",130,""