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