User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Althoff, Matthias; Bak, Stanley; Forets, Marcelo; Frehse, Goran; Kochdumper, Niklas; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan 
Title:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics 
Editor:
Frehse, Goran; Althoff, Matthias 
Book / Congress title:
Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems 
Volume:
61 
Year:
2019 
Pages:
14-40 
Bookseries title:
EPiC Series in Computing 
Fulltext / DOI: