Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Immler, F.; Althoff, M.; Chen, X.; Fan, C.; Frehse, G.; Kochdumper, N.; Li, Y.; Mitra, S.; Tomar, M. S.; Zamani, M.
- Titel:
- ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- Kongress- / Buchtitel:
- Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems
- Jahr:
- 2018
- Seiten:
- 53-70
- Volltext / DOI:
- doi:10.29007/mskf
BibTeX