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