An Upper Bound for the Reachability Problem of Safe, Elementary Hornets Köhler-Bußmeier, M. Heitmann, Frank 2016 - Forschungsinformationssystem der UHH