@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},
}