Login
- Title:
Implementation of Interval Arithmetic in {CORA} 2016
- Document type:
- Konferenzbeitrag
- Author(s):
- Althoff, M.; Grebenyuk, D.
- Pages contribution:
- 91-105
- Keywords:
- CORA
- Book / Congress title:
- Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
- Year:
- 2016
- Fulltext / DOI:
- doi:10.29007/w19b
BibTeX