@inproceedings{Seidl09Program, author = {Helmut Seidl}, title = {Program {A}nalysis through {F}inite {T}ree {A}utomata}, booktitle = {Implementation and Application of Automata}, editor = {Sebastian Maneth}, month = {July}, year = 2009, pages = {3}, series = {Lecture Notes in Computer Science}, volume = {5642}, publisher = {Springer}, address = {Sydney, Australia}, }