B
[BJK10] Tomáš Brázdil, Petr Jančar et Antonín Kučera. Reachability Games on Extended Vector Addition Systems with States. In ICALP'10, Lecture Notes in Computer Science 6199, pages 478-489. Springer-Verlag, juillet 2010. 
@inproceedings{icalp2010-BJK,
  author =              {Br{\'a}zdil, Tom{\'a}{\v s} and Jan{\v c}ar, Petr
                         and Ku{\v c}era, Anton{\'\i}n},
  title =               {Reachability Games on Extended Vector Addition
                         Systems with States},
  editor =              {Abramsky, Samson and Gavoille, Cyril and Kirchner,
                         Claude and Meyer auf der Heide, Friedhelm and
                         Spirakis, Paul G.},
  booktitle =           {{P}roceedings of the 37th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'10)~-- Part~{II}},
  acronym =             {{ICALP}'10},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {6199},
  pages =               {478-489},
  year =                {2010},
  month =               jul,
  doi =                 {10.1007/978-3-642-14162-1_40},
}
Liste des auteurs