"Bounded and Unbounded Safety Verification Using Bisimulation Metrics."

Gang Zheng, Antoine Girard (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics