Benutzer: Gast  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