Benutzer: Gast  Login
Autor(en):
Althoff, M.; Grebenyuk, D. 
Titel:
Implementation of Interval Arithmetic in {CORA} 2016 
Stichworte:
CORA 
Kongress- / Buchtitel:
Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems 
Jahr:
2016 
Seiten:
91-105