@inproceedings{Srba:2006:VPA:2111603.2111611,
    Address = {Berlin, Heidelberg},
    Author = {Srba, Ji\v{r}\'{\i}},
    BookTitle = {Proceedings of the 20th international conference on Computer Science Logic},
    File = {Visibly pushdown automata from language equivalence to simulation and bisimulation - Srba (0) (0) - a - a - d.pdf},
    ISBN = {3-540-45458-6, 978-3-540-45458-8},
    Keywords = {visibly pushdown automata},
    Location = {Szeged, Hungary},
    Pages = {89--103},
    Publisher = {Springer-Verlag},
    Series = {CSL'06},
    Title = {Visibly pushdown automata: from language equivalence to simulation and bisimulation},
    URL = {http://dx.doi.org/10.1007/11874683\_6},
    Year = {2006},
    acmid = {2111611},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11874683\_6},
    date-added = {2012-12-04 21:18:55 +0000},
    date-modified = {2012-12-04 21:22:01 +0000},
    file-2 = {Visibly pushdown automata from language equivalence to simulation and bisimulation - Srba (1) (0) - a - a - d.pdf},
    numpages = {15},
    doi = {10.1007/11874683_6}
}

@inproceedings{Srba:2006:VPA:2111603.2111611, Address = {Berlin, Heidelberg}, Author = {Srba, Ji\v{r}\'{\i}}, BookTitle = {Proceedings of the 20th international conference on Computer Science Logic}, File = {Visibly pushdown automata from language equivalence to simulation and bisimulation - Srba (0) (0) - a - a - d.pdf}, ISBN = {3-540-45458-6, 978-3-540-45458-8}, Keywords = {visibly pushdown automata}, Location = {Szeged, Hungary}, Pages = {89--103}, Publisher = {Springer-Verlag}, Series = {CSL'06}, Title = {Visibly pushdown automata: from language equivalence to simulation and bisimulation}, URL = {http://dx.doi.org/10.1007/11874683_6}, Year = {2006}, acmid = {2111611}, bdsk-url-1 = {http://dx.doi.org/10.1007/11874683_6}, date-added = {2012-12-04 21:18:55 +0000}, date-modified = {2012-12-04 21:22:01 +0000}, file-2 = {Visibly pushdown automata from language equivalence to simulation and bisimulation - Srba (1) (0) - a - a - d.pdf}, numpages = {15}, doi = {10.1007/11874683_6} }