From Hornets to Hybrid Agent and Workflow Systems Köhler-Bußmeier, Michael Wagner, Thomas Moldt, Daniel 2016 - ReposIt
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets Köhler-Bußmeier, Michael Heitmann, Frank 2016 - ReposIt