@inproceedings{HeussnerKartzow:HOC:2013,
    Author = {Heu{\ss}ner, Alexander and Kartzow, Alexander},
    BookTitle = {Mathematical Foundations of Computer Science 2013},
    Editor = {Chatterjee, Krishnendu and Sgall, Jir{\'\i}},
    ISBN = {978-3-642-40312-5},
    Pages = {528-539},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Reachability in Higher-Order-Counters},
    URL = {http://dx.doi.org/10.1007/978-3-642-40313-2\_47},
    Volume = {8087},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40313-2\_47},
    date-added = {2014-06-17 09:34:23 +0000},
    date-modified = {2014-06-17 09:34:27 +0000},
    file-2 = {Reachability in Higher-Order-Counters - Heußner, Kartzow (0) (1) - a - a - v.pdf},
    doi = {10.1007/978-3-642-40313-2_47}
}

@inproceedings{HeussnerKartzow:HOC:2013, Author = {Heu{\ss}ner, Alexander and Kartzow, Alexander}, BookTitle = {Mathematical Foundations of Computer Science 2013}, Editor = {Chatterjee, Krishnendu and Sgall, Jir{\'\i}}, ISBN = {978-3-642-40312-5}, Pages = {528-539}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Reachability in Higher-Order-Counters}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_47}, Volume = {8087}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40313-2_47}, date-added = {2014-06-17 09:34:23 +0000}, date-modified = {2014-06-17 09:34:27 +0000}, file-2 = {Reachability in Higher-Order-Counters - Heußner, Kartzow (0) (1) - a - a - v.pdf}, doi = {10.1007/978-3-642-40313-2_47} }