C
[CdA+06] Krishnendu Chatterjee, Luca de Alfaro et Thomas A. Henzinger. Strategy Improvement for Concurrent Reachability Games. In QEST'06, pages 291-300. IEEE Comp. Soc. Press, septembre 2006. 
@inproceedings{qest2006-CdAH,
  author =              {Chatterjee, Krishnendu and de Alfaro, Luca and
                         Henzinger, Thomas A.},
  title =               {Strategy Improvement for Concurrent Reachability
                         Games},
  booktitle =           {{P}roceedings of the 3rd {I}nternational
                         {C}onference on {Q}uantitative {E}valuation of
                         {S}ystems ({QEST}'06)},
  acronym =             {{QEST}'06},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {291-300},
  year =                {2006},
  month =               sep,
  doi =                 {10.1109/QEST.2006.48},
}
Liste des auteurs