C
[CHP11] Krishnendu Chatterjee, Thomas A. Henzinger et Vinayak S. Prabhu. Timed Parity Games: Complexity and Robustness. Logical Methods in Computer Science 7(4). Décembre 2011. 
@article{lmcs7(4)-CHP,
  author =              {Chatterjee, Krishnendu and Henzinger, Thomas A. and
                         Prabhu, Vinayak S.},
  title =               {Timed Parity Games: Complexity and Robustness},
  journal =             {Logical Methods in Computer Science},
  volume =              {7},
  number =              {4},
  year =                {2011},
  month =               dec,
  doi =                 {10.2168/LMCS-7(4:8)2011},
}
Liste des auteurs