User: Guest  Login
Title:

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Document type:
Konferenzbeitrag
Author(s):
Immler, F.; Althoff, M.; Chen, X.; Fan, C.; Frehse, G.; Kochdumper, N.; Li, Y.; Mitra, S.; Tomar, M. S.; Zamani, M.
Book / Congress title:
Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems
Year:
2018
Pages:
53-70
Fulltext / DOI:
doi:10.29007/mskf
 BibTeX