Login
- Titel:
Implementation of Taylor Models in CORA 2018
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Althoff, M.; Grebenyuk, D.; Kochdumper, N.
- Kongress- / Buchtitel:
- Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems
- Jahr:
- 2018
- Seiten:
- 145-173
- Volltext / DOI:
- doi:10.29007/zzc7
BibTeX