B
[BBG+07] Christel Baier, Tomáš Brázdil, Marcus Größer et Antonín Kučera. Stochastic Game Logic. In QEST'07, pages 227-236. IEEE Comp. Soc. Press, septembre 2007. 
@inproceedings{qest2007-BBGK,
  author =              {Baier, {\relax Ch}ristel and Br{\'a}zdil,
                         Tom{\'a}{\v s} and Gr{\"o}{\ss}er, Marcus and Ku{\v
                         c}era, Anton{\'\i}n},
  title =               {Stochastic Game Logic},
  booktitle =           {{P}roceedings of the 4th {I}nternational
                         {C}onference on {Q}uantitative {E}valuation of
                         {S}ystems ({QEST}'07)},
  acronym =             {{QEST}'07},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {227-236},
  year =                {2007},
  month =               sep,
}
Liste des auteurs