Reachability in Higher-Order-Counters.

Alexander Heuner, Alexander Kartzow

Browse the full MFCS paper archive.