Login
- Titel:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Immler, Fabian; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Forets, Marcelo; Geretti, Luca; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian
- Herausgeber:
- Frehse, Goran; Althoff, Matthias
- Kongress- / Buchtitel:
- Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
- Band / Teilband / Volume:
- 61
- Jahr:
- 2019
- Seiten:
- 41-61
- Serientitel:
- EPiC Series in Computing
- Volltext / DOI:
- doi:10.29007/m75b
BibTeX