@inproceedings{L09_kps,
  author=   {Peter Lammich},
  title=    {Tree Automata for Analyzing Dynamic Pushdown Networks},
  booktitle= {15. Kolloquium Programmiersprachen und Grundlagen der Programmierung},
  year=   {2009},
  editor=  {Jens Knoop and Adrian Prantl},
  organization= {Technische Unversit\"at Wien},
  number= {Bericht 2009-X-1}
}

@incollection{L09_collections,
  author =       {Peter Lammich},
  title =        {Isabelle Collection Library},
  booktitle =    {Archive of Formal Proofs},
  editor =       {Gerwin Klein and Tobias Nipkow and Lawrence Paulson},
  publisher =    {\url{http://isa-afp.org/entries/collections.shtml}},
  month =        Dez,
  year =         2009,
  note =         {Formal proof development},
  ISSN =         {2150-914x}
}

@Misc{tata2007,
  author = {H. Comon and M. Dauchet and R. Gilleron and  C. L\"oding
and F. Jacquemard
and D. Lugiez and S. Tison and M. Tommasi},
  title =    {Tree Automata Techniques and Applications},
  howpublished = {Available on: \url{http://www.grappa.univ-lille3.fr/tata}},
  note = {release October, 12th 2007},
  year =     2007
}

@Misc{TIMBUK,
  author = {T. Genet and V. V. T. Tong},
  title = {Timbuk 2.2},
  howpublished = {Available on: \url{http://www.grappa.univ-lille3.fr/tata}},
}

@InProceedings{BMT05,
  author =       {A. Bouajjani and M. M\"uller-Olm and T. Touili},
  title =        {Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems},
  booktitle =    {Proc. of CONCUR'05},
  volume= {3653},
  series={LNCS},
  year =      {2005},
  publisher = {Springer},
}
