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