@inproceedings{Leroux:2005:ATVA,
    Author = {Leroux, J{\'e}r{\^o}me and Sutre, Gregoire},
    BookTitle = {Proc.\ 3rd Int.\ Symp.\ Automated Technology for Verification and Analysis (ATVA'05), Taipei, Taiwan, Oct.\ 2005},
    File = {Flat counter automata almost everywhere! - Leroux, Sutre (0) (0) - a - a - j.pdf},
    Keywords = {flat counter automata and vector addition systems and readme},
    Pages = {489--503},
    Publisher = {Springer},
    Series = {Lecture Notes in Computer Science},
    Title = {Flat counter automata almost everywhere!},
    Volume = {3707},
    Year = {2005},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11562948\_36},
    date-added = {2012-12-04 16:53:49 +0000},
    date-modified = {2013-10-25 09:19:57 +0000},
    postscript = {http://www.labri.fr/\textasciitilde sutre/Publications/Documents/Leroux:2005:ATVA-Long.ps.gz},
    doi = {10.1007/11562948_36}
}

@inproceedings{Leroux:2005:ATVA, Author = {Leroux, J{\'e}r{\^o}me and Sutre, Gregoire}, BookTitle = {Proc.\ 3rd Int.\ Symp.\ Automated Technology for Verification and Analysis (ATVA'05), Taipei, Taiwan, Oct.\ 2005}, File = {Flat counter automata almost everywhere! - Leroux, Sutre (0) (0) - a - a - j.pdf}, Keywords = {flat counter automata and vector addition systems and readme}, Pages = {489--503}, Publisher = {Springer}, Series = {Lecture Notes in Computer Science}, Title = {Flat counter automata almost everywhere!}, Volume = {3707}, Year = {2005}, bdsk-url-1 = {http://dx.doi.org/10.1007/11562948_36}, date-added = {2012-12-04 16:53:49 +0000}, date-modified = {2013-10-25 09:19:57 +0000}, postscript = {http://www.labri.fr/\textasciitilde sutre/Publications/Documents/Leroux:2005:ATVA-Long.ps.gz}, doi = {10.1007/11562948_36} }