- Titel:
Implementation of Interval Arithmetic in {CORA} 2016
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Althoff, M.; Grebenyuk, D.
- Seitenangaben Beitrag:
- 91-105
- Stichworte:
- CORA
- Kongress- / Buchtitel:
- Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
- Jahr:
- 2016
- Volltext / DOI:
- doi:10.29007/w19b
- BibTeX