Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- M. Althoff, S. Bak, X. Chen, C. Fan, M. Forets, G. Frehse, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling and S. Schupp
- Titel:
- ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
- Seitenangaben Beitrag:
- 23-52
- Kongress- / Buchtitel:
- Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems
- Jahr:
- 2018
- Volltext / DOI:
- doi:10.29007/73mb
BibTeX