@incollection{FijalkowKuperberg:ACME:2013,
    Author = {Fijalkow, Nathana{\"e}l and Kuperberg, Denis},
    BookTitle = {Automated Technology for Verification and Analysis},
    Editor = {Cassez, Franck and Raskin, Jean-Fran{\c c}ois},
    File = {ACME Automata with Counters, Monoids and Equivalence - Fijalkow, Kuperberg (0) (0) - a - a - s.pdf},
    ISBN = {978-3-319-11935-9},
    Keywords = {readme},
    Language = {English},
    Pages = {163-167},
    Publisher = {Springer International Publishing},
    Series = {Lecture Notes in Computer Science},
    Title = {ACME: Automata with Counters, Monoids and Equivalence},
    URL = {http://dx.doi.org/10.1007/978-3-319-11936-6\_12},
    Volume = {8837},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-11936-6\_12},
    date-added = {2014-11-18 13:08:38 +0000},
    date-modified = {2014-11-18 13:12:43 +0000},
    doi = {10.1007/978-3-319-11936-6_12}
}

@incollection{FijalkowKuperberg:ACME:2013, Author = {Fijalkow, Nathana{\"e}l and Kuperberg, Denis}, BookTitle = {Automated Technology for Verification and Analysis}, Editor = {Cassez, Franck and Raskin, Jean-Fran{\c c}ois}, File = {ACME Automata with Counters, Monoids and Equivalence - Fijalkow, Kuperberg (0) (0) - a - a - s.pdf}, ISBN = {978-3-319-11935-9}, Keywords = {readme}, Language = {English}, Pages = {163-167}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Title = {ACME: Automata with Counters, Monoids and Equivalence}, URL = {http://dx.doi.org/10.1007/978-3-319-11936-6_12}, Volume = {8837}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-11936-6_12}, date-added = {2014-11-18 13:08:38 +0000}, date-modified = {2014-11-18 13:12:43 +0000}, doi = {10.1007/978-3-319-11936-6_12} }