Heußner, AlexanderAlexanderHeußnerKartzow, AlexanderAlexanderKartzowKrishnendu, ChatterjeeSgall, Jiri2019-09-192014-04-142013978-3-642-40312-5https://fis.uni-bamberg.de/handle/uniba/2528engReachability in Higher-Order-Countersconferenceobject10.1007/978-3-642-40313-2_47