F
[FLS08] Marco Faella, Axel Legay, and Mariëlle Stoelinga. Model Checking Quantitative Linear Time Logic. In QAPL'08, Electronic Notes in Theoretical Computer Science 220(3), pages 61-77. Elsevier, March 2008. 
@inproceedings{qapl2008-FLS,
  author =              {Faella, Marco and Legay, Axel and Stoelinga,
                         Mari{\"e}lle},
  title =               {Model Checking Quantitative Linear Time Logic},
  editor =              {Aldini, Alessandro and Baier, {\relax Ch}ristel},
  booktitle =           {{P}roceedings of the 6th {W}orkshop on
                         {Q}uantitative {A}spects of {P}rogramming
                         {L}anguages ({QAPL}'08)},
  acronym =             {{QAPL}'08},
  publisher =           {Elsevier},
  series =              {Electronic Notes in Theoretical Computer Science},
  volume =              {220},
  number =              {3},
  pages =               {61-77},
  year =                {2008},
  month =               mar,
}
List of authors