B
[BDL+12] Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen et Amélie Stainer. Monitor-based statistical model checking for weighted metric temporal logic. In LPAR'12, Lecture Notes in Computer Science 7180, pages 168-182. Springer-Verlag, mars 2012. 
@inproceedings{lpar2012-BDLLLPS,
  author =              {Bulychev, Peter and David, Alexandre and Larsen, Kim
                         Guldstrand and Legay, Axel and Li, Guangyuan and
                         Poulsen, Danny B{\o}gsted and Stainer, Am{\'e}lie},
  title =               {Monitor-based statistical model checking for
                         weighted metric temporal logic},
  editor =              {Bj{\o}rner, Nikolaj and Voronkov, Andrei},
  booktitle =           {{P}roceedings of the 18th {I}nternational
                         {C}onference {L}ogic {P}rogramming and {A}utomated
                         {R}easoning ({LPAR}'12)},
  acronym =             {{LPAR}'12},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {7180},
  pages =               {168-182},
  year =                {2012},
  month =               mar,
  doi =                 {10.1007/978-3-642-28717-6_15},
}
Liste des auteurs