K
[Kuc12] Antonín Kučera. Playing Games with Counter Automata. In RP'12, Lecture Notes in Computer Science 7550, pages 29-41. Springer-Verlag, September 2012. 
@inproceedings{rp2012-Kuc,
  author =              {Ku{\v c}era, Anton{\'\i}n},
  title =               {Playing Games with Counter Automata},
  editor =              {Finkel, Alain and Leroux, J{\'e}r{\^o}me and
                         Potapov, Igor},
  booktitle =           {{P}roceedings of the 6th {W}orkshop on
                         {R}eachability {P}roblems in {C}omputational
                         {M}odels ({RP}'12)},
  acronym =             {{RP}'12},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {7550},
  pages =               {29-41},
  year =                {2012},
  month =               sep,
  doi =                 {10.1007/978-3-642-33512-9_4},
}
List of authors