User: Guest  Login
Author(s):
Althoff, M.; Bak, S.; Cattaruzza, D.; Chen, X.; Frehse, G.; Ray, R.; Schupp, S. 
Title:
{ARCH-COMP17} Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics 
Book / Congress title:
Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems 
Year:
2017 
Pages:
143-159