@inproceedings{Althoff2016a,
	Author = {M. Althoff and D. Grebenyuk},
	Booktitle = {Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
	Owner = {matthias},
	Timestamp = {2016.07.20},
	Title = {Implementation of Interval Arithmetic in {CORA} 2016},
	Year = {2016}}
