Login
- Titel:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Althoff, Matthias; Bak, Stanley; Forets, Marcelo; Frehse, Goran; Kochdumper, Niklas; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan
- 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:
- 14-40
- Serientitel:
- EPiC Series in Computing
- Volltext / DOI:
- doi:10.29007/bj1w
BibTeX