Login
- Title:
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
- Document type:
- Buchbeitrag
- Author(s):
- Abate, Alessandro; Althoff, Matthias; Bu, Lei; Ernst, Gidon; Frehse, Goran; Geretti, Luca; Johnson, Taylor T.; Menghi, Claudio; Mitsch, Stefan; Schupp, Stefan; Soudjani, Sadegh
- Book title:
- Lecture Notes in Computer Science
- Publisher:
- Springer Nature Switzerland
- Year:
- 2024
- Pages:
- 1-37
- Print-ISBN:
- 97830316769499783031676956
- DOI:
- doi:10.1007/978-3-031-67695-6_1
BibTeX