- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Chen, X.; Althoff, M.; Immler, F.
- Titel:
- {ARCH-COMP17} Category Report: Continuous Systems with Nonlinear Dynamics
- Kongress- / Buchtitel:
- Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems
- Jahr:
- 2017
- Volltext / DOI:
- doi:10.29007/zkf6
BibTeX