@incollection{caucal:VPA:06,
    Author = {Caucal, Didier},
    BookTitle = {Developments in Language Theory},
    Editor = {Ibarra, OscarH. and Dang, Zhe},
    File = {Synchronization of Pushdown Automata - Caucal (0) (0) - a - a - b.pdf},
    ISBN = {978-3-540-35428-4},
    Pages = {120-132},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Synchronization of Pushdown Automata},
    URL = {http://dx.doi.org/10.1007/11779148\_12},
    Volume = {4036},
    Year = {2006},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11779148\_12},
    date-added = {2013-07-16 12:43:45 +0000},
    date-modified = {2013-07-16 12:43:45 +0000},
    doi = {10.1007/11779148_12}
}

@incollection{caucal:VPA:06, Author = {Caucal, Didier}, BookTitle = {Developments in Language Theory}, Editor = {Ibarra, OscarH. and Dang, Zhe}, File = {Synchronization of Pushdown Automata - Caucal (0) (0) - a - a - b.pdf}, ISBN = {978-3-540-35428-4}, Pages = {120-132}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Synchronization of Pushdown Automata}, URL = {http://dx.doi.org/10.1007/11779148_12}, Volume = {4036}, Year = {2006}, bdsk-url-1 = {http://dx.doi.org/10.1007/11779148_12}, date-added = {2013-07-16 12:43:45 +0000}, date-modified = {2013-07-16 12:43:45 +0000}, doi = {10.1007/11779148_12} }