Abate, Alessandro, Althoff, Matthias, Bu, Lei, Ernst, Gidon, Frehse, Goran, Geretti, Luca, Johnson, Taylor T, Menghi, Claudio, Mitsch, Stefan, Schupp, Stefan, and Soudjani, Sadegh. The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. Retrieved from https://par.nsf.gov/biblio/10592325. Web. doi:10.1007/978-3-031-67695-6_1.

Abate, Alessandro, Althoff, Matthias, Bu, Lei, Ernst, Gidon, Frehse, Goran, Geretti, Luca, Johnson, Taylor T, Menghi, Claudio, Mitsch, Stefan, Schupp, Stefan, & Soudjani, Sadegh. The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. Retrieved from https://par.nsf.gov/biblio/10592325. https://doi.org/10.1007/978-3-031-67695-6_1

Abate, Alessandro, Althoff, Matthias, Bu, Lei, Ernst, Gidon, Frehse, Goran, Geretti, Luca, Johnson, Taylor T, Menghi, Claudio, Mitsch, Stefan, Schupp, Stefan, and Soudjani, Sadegh. "The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems". Country unknown/Code not available: Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-67695-6_1. https://par.nsf.gov/biblio/10592325.

@article{osti_10592325,
place = {Country unknown/Code not available}, title = {The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems}, url = {https://par.nsf.gov/biblio/10592325}, DOI = {10.1007/978-3-031-67695-6_1}, abstractNote = {}, journal = {}, publisher = {Springer Nature Switzerland}, author = {Abate, Alessandro and Althoff, Matthias and Bu, Lei and Ernst, Gidon and Frehse, Goran and Geretti, Luca and Johnson, Taylor T and Menghi, Claudio and Mitsch, Stefan and Schupp, Stefan and Soudjani, Sadegh}, }