@inproceedings{Henry:2013:LPT:2526085.2526103,
    Address = {Berlin, Heidelberg},
    Author = {Henry, Patrick and S{\'e}nizergues, G{\'e}raud},
    BookTitle = {Proceedings of the 18th International Conference on Implementation and Application of Automata},
    File = {LALBLC a Program Testing the Equivalence of Dpda's - Henry, Sénizergues (0) (0) - a - a - a.pdf},
    ISBN = {978-3-642-39273-3},
    Keywords = {deterministic context-free grammars, deterministic pushdown automata, equivalence problem},
    Location = {Halifax, NS, Canada},
    Pages = {169--180},
    Publisher = {Springer-Verlag},
    Series = {CIAA'13},
    Title = {LALBLC a Program Testing the Equivalence of Dpda's},
    URL = {http://dx.doi.org/10.1007/978-3-642-39274-0\_16},
    Year = {2013},
    acmid = {2526103},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39274-0\_16},
    date-added = {2014-03-29 18:01:22 +0000},
    date-modified = {2014-03-29 18:01:22 +0000},
    numpages = {12},
    doi = {10.1007/978-3-642-39274-0_16}
}

@inproceedings{Henry:2013:LPT:2526085.2526103, Address = {Berlin, Heidelberg}, Author = {Henry, Patrick and S{\'e}nizergues, G{\'e}raud}, BookTitle = {Proceedings of the 18th International Conference on Implementation and Application of Automata}, File = {LALBLC a Program Testing the Equivalence of Dpda's - Henry, Sénizergues (0) (0) - a - a - a.pdf}, ISBN = {978-3-642-39273-3}, Keywords = {deterministic context-free grammars, deterministic pushdown automata, equivalence problem}, Location = {Halifax, NS, Canada}, Pages = {169--180}, Publisher = {Springer-Verlag}, Series = {CIAA'13}, Title = {LALBLC a Program Testing the Equivalence of Dpda's}, URL = {http://dx.doi.org/10.1007/978-3-642-39274-0_16}, Year = {2013}, acmid = {2526103}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39274-0_16}, date-added = {2014-03-29 18:01:22 +0000}, date-modified = {2014-03-29 18:01:22 +0000}, numpages = {12}, doi = {10.1007/978-3-642-39274-0_16} }