@inproceedings{TangOgawa:SOFSEM:2009,
    Address = {Berlin, Heidelberg},
    Author = {Tang, Nguyen and Ogawa, Mizuhito},
    BookTitle = {Proc. of SOFSEM '09},
    File = {Event-Clock Visibly Pushdown Automata - Tang, Ogawa (0) (0) - a - a - v.pdf},
    ISBN = {978-3-540-95890-1},
    Keywords = {timed pushdown automata},
    Location = {`pindlerov Ml\&\\#253;n, Czech Republic},
    Pages = {558--569},
    Publisher = {Springer-Verlag},
    Series = {SOFSEM '09},
    Title = {Event-Clock Visibly Pushdown Automata},
    URL = {http://dx.doi.org/10.1007/978-3-540-95891-8\_50},
    Year = {2009},
    acmid = {1506740},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-95891-8\_50},
    date-added = {2015-12-26 17:02:52 +0000},
    date-modified = {2019-08-16 16:45:34 +0200},
    numpages = {12},
    doi = {10.1007/978-3-540-95891-8_50}
}

@inproceedings{TangOgawa:SOFSEM:2009, Address = {Berlin, Heidelberg}, Author = {Tang, Nguyen and Ogawa, Mizuhito}, BookTitle = {Proc. of SOFSEM '09}, File = {Event-Clock Visibly Pushdown Automata - Tang, Ogawa (0) (0) - a - a - v.pdf}, ISBN = {978-3-540-95890-1}, Keywords = {timed pushdown automata}, Location = {`pindlerov Ml\&\#253;n, Czech Republic}, Pages = {558--569}, Publisher = {Springer-Verlag}, Series = {SOFSEM '09}, Title = {Event-Clock Visibly Pushdown Automata}, URL = {http://dx.doi.org/10.1007/978-3-540-95891-8_50}, Year = {2009}, acmid = {1506740}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-95891-8_50}, date-added = {2015-12-26 17:02:52 +0000}, date-modified = {2019-08-16 16:45:34 +0200}, numpages = {12}, doi = {10.1007/978-3-540-95891-8_50} }