@incollection{herbreteau:sri:walukiewicz:lazy:2013,
    Author = {Herbreteau, Fr{\'e}d{\'e}ric and Srivathsan, B. and Walukiewicz, Igor},
    BookTitle = {Computer Aided Verification},
    Editor = {Sharygina, Natasha and Veith, Helmut},
    ISBN = {978-3-642-39798-1},
    Pages = {990-1005},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Lazy Abstractions for Timed Automata},
    URL = {http://dx.doi.org/10.1007/978-3-642-39799-8\_71},
    Volume = {8044},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39799-8\_71},
    date-added = {2013-12-28 17:38:00 +0000},
    date-modified = {2013-12-28 17:38:00 +0000},
    doi = {10.1007/978-3-642-39799-8_71}
}

@incollection{herbreteau:sri:walukiewicz:lazy:2013, Author = {Herbreteau, Fr{\'e}d{\'e}ric and Srivathsan, B. and Walukiewicz, Igor}, BookTitle = {Computer Aided Verification}, Editor = {Sharygina, Natasha and Veith, Helmut}, ISBN = {978-3-642-39798-1}, Pages = {990-1005}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Lazy Abstractions for Timed Automata}, URL = {http://dx.doi.org/10.1007/978-3-642-39799-8_71}, Volume = {8044}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39799-8_71}, date-added = {2013-12-28 17:38:00 +0000}, date-modified = {2013-12-28 17:38:00 +0000}, doi = {10.1007/978-3-642-39799-8_71} }