Contributions to Proceedings:

T. Henzinger, T. Hottelier, L. Kovacs, A. Rybalchenko:
"Aligators for Arrays (Tool Paper)";
in: "Proceedings of the 17th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-17)", Springer LNCS 6397, Springer, 2010, ISBN: 978-3-642-16241-1, 348 - 356.

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.