@incollection{updatable:2000,
    Author = {Bouyer, Patricia and Dufourd, Catherine and Fleury, Emmanuel and Petit, Antoine},
    BookTitle = {Computer Aided Verification},
    Editor = {Emerson, E.Allen and Sistla, AravindaPrasad},
    File = {Are Timed Automata Updatable? - Bouyer, Dufourd, Fleury, Petit (0) (0) - a - a - a.pdf},
    ISBN = {978-3-540-67770-3},
    Language = {English},
    Pages = {464-479},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Are Timed Automata Updatable?},
    URL = {http://dx.doi.org/10.1007/10722167\_35},
    Volume = {1855},
    Year = {2000},
    bdsk-url-1 = {http://dx.doi.org/10.1007/10722167\_35},
    date-added = {2014-10-03 12:09:25 +0000},
    date-modified = {2014-10-03 12:09:25 +0000},
    file-2 = {Are Timed Automata Updatable? - Bouyer, Dufourd, Fleury, Petit (1) (0) - a - a - a.pdf},
    doi = {10.1007/10722167_35}
}

@incollection{updatable:2000, Author = {Bouyer, Patricia and Dufourd, Catherine and Fleury, Emmanuel and Petit, Antoine}, BookTitle = {Computer Aided Verification}, Editor = {Emerson, E.Allen and Sistla, AravindaPrasad}, File = {Are Timed Automata Updatable? - Bouyer, Dufourd, Fleury, Petit (0) (0) - a - a - a.pdf}, ISBN = {978-3-540-67770-3}, Language = {English}, Pages = {464-479}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Are Timed Automata Updatable?}, URL = {http://dx.doi.org/10.1007/10722167_35}, Volume = {1855}, Year = {2000}, bdsk-url-1 = {http://dx.doi.org/10.1007/10722167_35}, date-added = {2014-10-03 12:09:25 +0000}, date-modified = {2014-10-03 12:09:25 +0000}, file-2 = {Are Timed Automata Updatable? - Bouyer, Dufourd, Fleury, Petit (1) (0) - a - a - a.pdf}, doi = {10.1007/10722167_35} }