I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Aligators for Arrays (Tool Paper)


Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, and Andrey Rybalchenko. Aligators for arrays (tool paper). In Fermüller and Voronkov, pages 348–356.

Suggested BibTeX entry:

    author = {Thomas A. Henzinger and Thibaud Hottelier and Laura Kov{\'a}cs and Andrey Rybalchenko},
    booktitle = {LPAR (Yogyakarta)},
    editor = {Christian G. Ferm{\"u}ller and Andrei Voronkov},
    pages = {348-356},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Aligators for Arrays (Tool Paper)},
    volume = {6397},
    year = {2010}

This work is not available online here.