@incollection{VATA12,
    Author = {Leng{\'a}l, Ond{\v r}ej and {\v S}im{\'a}{\v c}ek, Ji{\v r}{\'\i} and Vojnar, Tom{\'a}{\v s}},
    BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems},
    Editor = {Flanagan, Cormac and K{\"o}nig, Barbara},
    File = {VATA A Library for Efficient Manipulation of Non-deterministic Tree Automata - Lengál, Šimáček, Vojnar (0) (0) - a - a - r.pdf},
    ISBN = {978-3-642-28755-8},
    Keywords = {tree automata},
    Pages = {79-94},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata},
    URL = {http://dx.doi.org/10.1007/978-3-642-28756-5\_7},
    Volume = {7214},
    Year = {2012},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-28756-5\_7},
    date-added = {2012-10-05 14:08:33 +0000},
    date-modified = {2012-10-05 14:09:25 +0000},
    doi = {10.1007/978-3-642-28756-5_7}
}

@incollection{VATA12, Author = {Leng{\'a}l, Ond{\v r}ej and {\v S}im{\'a}{\v c}ek, Ji{\v r}{\'\i} and Vojnar, Tom{\'a}{\v s}}, BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems}, Editor = {Flanagan, Cormac and K{\"o}nig, Barbara}, File = {VATA A Library for Efficient Manipulation of Non-deterministic Tree Automata - Lengál, Šimáček, Vojnar (0) (0) - a - a - r.pdf}, ISBN = {978-3-642-28755-8}, Keywords = {tree automata}, Pages = {79-94}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata}, URL = {http://dx.doi.org/10.1007/978-3-642-28756-5_7}, Volume = {7214}, Year = {2012}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-28756-5_7}, date-added = {2012-10-05 14:08:33 +0000}, date-modified = {2012-10-05 14:09:25 +0000}, doi = {10.1007/978-3-642-28756-5_7} }