@incollection{ChervetWalukiewicz,
    Author = {Chervet, Patrick and Walukiewicz, Igor},
    BookTitle = {Mathematical Foundations of Computer Science 2007},
    Editor = {Ku{\v c}era, Lud{\v e}k and Ku{\v c}era, Anton{\'\i}n},
    File = {Minimizing Variants of Visibly Pushdown Automata - Chervet, Walukiewicz (0) (0) - a - a - c.pdf},
    ISBN = {978-3-540-74455-9},
    Keywords = {visibly pushdown automata},
    Pages = {135-146},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Minimizing Variants of Visibly Pushdown Automata},
    URL = {http://dx.doi.org/10.1007/978-3-540-74456-6\_14},
    Volume = {4708},
    Year = {2007},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-74456-6\_14},
    date-added = {2012-04-30 16:10:32 +0200},
    date-modified = {2012-04-30 14:10:50 +0000},
    doi = {10.1007/978-3-540-74456-6_14}
}

@incollection{ChervetWalukiewicz, Author = {Chervet, Patrick and Walukiewicz, Igor}, BookTitle = {Mathematical Foundations of Computer Science 2007}, Editor = {Ku{\v c}era, Lud{\v e}k and Ku{\v c}era, Anton{\'\i}n}, File = {Minimizing Variants of Visibly Pushdown Automata - Chervet, Walukiewicz (0) (0) - a - a - c.pdf}, ISBN = {978-3-540-74455-9}, Keywords = {visibly pushdown automata}, Pages = {135-146}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Minimizing Variants of Visibly Pushdown Automata}, URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_14}, Volume = {4708}, Year = {2007}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-74456-6_14}, date-added = {2012-04-30 16:10:32 +0200}, date-modified = {2012-04-30 14:10:50 +0000}, doi = {10.1007/978-3-540-74456-6_14} }