@incollection{fast:06,
    Author = {Bardin, S{\'e}bastien and Leroux, J{\'e}r{\^o}me and Point, G{\'e}rald},
    BookTitle = {Computer Aided Verification},
    Editor = {Ball, Thomas and Jones, RobertB.},
    File = {FAST Extended Release - Bardin, Leroux, Point (0) (0) - a - a - m.pdf},
    ISBN = {978-3-540-37406-0},
    Keywords = {Presburger arithmetic and automata theory},
    Pages = {63-66},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {FAST Extended Release},
    URL = {http://dx.doi.org/10.1007/11817963\_9},
    Volume = {4144},
    Year = {2006},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11817963\_9},
    date-added = {2012-11-20 18:19:59 +0000},
    date-modified = {2012-11-22 09:39:16 +0000},
    doi = {10.1007/11817963_9}
}

@incollection{fast:06, Author = {Bardin, S{\'e}bastien and Leroux, J{\'e}r{\^o}me and Point, G{\'e}rald}, BookTitle = {Computer Aided Verification}, Editor = {Ball, Thomas and Jones, RobertB.}, File = {FAST Extended Release - Bardin, Leroux, Point (0) (0) - a - a - m.pdf}, ISBN = {978-3-540-37406-0}, Keywords = {Presburger arithmetic and automata theory}, Pages = {63-66}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {FAST Extended Release}, URL = {http://dx.doi.org/10.1007/11817963_9}, Volume = {4144}, Year = {2006}, bdsk-url-1 = {http://dx.doi.org/10.1007/11817963_9}, date-added = {2012-11-20 18:19:59 +0000}, date-modified = {2012-11-22 09:39:16 +0000}, doi = {10.1007/11817963_9} }