"A Box-Based Distance between Regions for Guiding the Reachability Analysis ..."

Sergiy Bogomolov et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics