C
[CJ98] Hubert Comon and Yan Jurski. Multiple counters automata, safety analysis, and Presburger arithmetic. In CAV'98, Lecture Notes in Computer Science 1427, pages 268-279. Springer-Verlag, June 1998. 
@inproceedings{cav1998-CJ,
  author =              {Comon, Hubert and Jurski, Yan},
  title =               {Multiple counters automata, safety analysis, and
                         {P}resburger arithmetic},
  editor =              {Hu, Alan J. and Vardi, Moshe Y.},
  booktitle =           {{P}roceedings of the 10th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'98)},
  acronym =             {{CAV}'98},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1427},
  pages =               {268-279},
  year =                {1998},
  month =               jun,
  doi =                 {10.1007/BFb0028751},
}
List of authors