Login
- Titel:
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
- Dokumenttyp:
- Buchbeitrag
- Autor(en):
- Abate, Alessandro; Althoff, Matthias; Bu, Lei; Ernst, Gidon; Frehse, Goran; Geretti, Luca; Johnson, Taylor T.; Menghi, Claudio; Mitsch, Stefan; Schupp, Stefan; Soudjani, Sadegh
- Buchtitel:
- Lecture Notes in Computer Science
- Verlag / Institution:
- Springer Nature Switzerland
- Jahr:
- 2024
- Seiten/Umfang:
- 1-37
- Print-ISBN:
- 97830316769499783031676956
- DOI:
- doi:10.1007/978-3-031-67695-6_1
BibTeX