B
[BDL+12] Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis et Danny Bøgsted Poulsen. Checking and Distributing Statistical Model Checking. In NFM'12, Lecture Notes in Computer Science 7226, pages 449-463. Springer-Verlag, avril 2012. 
@inproceedings{nasaFM2012-BDLLMP,
  author =              {Bulychev, Peter and David, Alexandre and Larsen, Kim
                         Guldstrand and Legay, Axel and Miku{\v{c}}ionis,
                         Marius and Poulsen, Danny B{\o}gsted},
  title =               {Checking and Distributing Statistical Model
                         Checking},
  editor =              {Goodloe, Alwyn and Person, Suzette},
  booktitle =           {{P}roceedings of the 4th {NASA} {F}ormal {M}ethods
                         {S}ymposium ({NFM}'12)},
  acronym =             {{NFM}'12},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {7226},
  pages =               {449-463},
  year =                {2012},
  month =               apr,
}
Liste des auteurs