BibTeX record conf/wia/AbdullaBHKV08

• > Home > conf/wia/AbdullaBHKV08

@inproceedings{DBLP:conf/wia/AbdullaBHKV08,
  author       = {Parosh Aziz Abdulla and
                  Ahmed Bouajjani and
                  Luk{\'{a}}s Hol{\'{\i}}k and
                  Lisa Kaati and
                  Tom{\'{a}}s Vojnar},
  editor       = {Oscar H. Ibarra and
                  Bala Ravikumar},
  title        = {Composed Bisimulation for Tree Automata},
  booktitle    = {Implementation and Applications of Automata, 13th International Conference,
                  {CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5148},
  pages        = {212--222},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70844-5\_22},
  doi          = {10.1007/978-3-540-70844-5\_22},
  timestamp    = {Sun, 25 Oct 2020 22:53:59 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/AbdullaBHKV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}