Login
- Titel:
{ARCH-COMP17} Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Althoff, M.; Bak, S.; Cattaruzza, D.; Chen, X.; Frehse, G.; Ray, R.; Schupp, S.
- Kongress- / Buchtitel:
- Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems
- Jahr:
- 2017
- Seiten:
- 143-159
- Volltext / DOI:
- doi:10.29007/4dcn
BibTeX