Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
4 results · clear filters Sort: newest oldest name
- Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Third International Joint Conference, QEST+FORMATS 2026, Liverpool, UK, September 2-4, 2026, ProceedingsComputer and information sciencese11pjmn
- International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS)Computer and information sciencess1239p0
- 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, ProceedingsComputer and information sciencese11pjkq
- 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, ProceedingsComputer and information sciencese11pjjs