Login
- Titel:
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Althoff, Matthias; Forets, Marcelo; Schilling, Christian; Wetzlinger, Mark
- Seitenangaben Beitrag:
- 15--10
- Kongress- / Buchtitel:
- EPiC Series in Computing
- Verlag / Institution:
- EasyChair
- Jahr:
- 2024
- Volltext / DOI:
- doi:10.29007/7xf3
BibTeX