- Document type:
- Konferenzbeitrag
- Author(s):
- Althoff, M.; Ábrahám, E.; Forets, M.; Frehse, G.; Freire, D.; Schilling, C.; Schupp, S.; Wetzlinger, M.
- Title:
- ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
- Keywords:
- justITSELF
- Editor:
- Frehse, G.; Althoff, M.
- Book / Congress title:
- Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems
- Volume:
- 80
- Publisher:
- EasyChair
- Year:
- 2021
- Pages:
- 1–31
- Bookseries title:
- EPiC Series in Computing
- Fulltext / DOI:
- doi:10.29007/lhbw
- WWW:
- https://easychair.org/publications/paper/81BS
BibTeX