@inproceedings{BFG+2,
title = {A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx },
author = {Bogomolov, Sergiy and Frehse, Goran and Grosu, Radu and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin},
year = {2012},
booktitle = {Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
pages = {479-494},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7358},
team = {TEMPO},
}