L
[LST03] François Laroussinie, Philippe Schnoebelen et Mathieu Turuani. On the expressivity and complexity of quantitative branching-time temporal logics. Theoretical Computer Science 297(1-3):297-315. Elsevier, mars 2003. 
@article{tcs297(1-3)-LST,
  author =              {Laroussinie, Fran{\c c}ois and Schnoebelen, {\relax
                         Ph}ilippe and Turuani, Mathieu},
  title =               {On the expressivity and complexity of quantitative
                         branching-time temporal logics},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {297},
  number =              {1-3},
  pages =               {297-315},
  year =                {2003},
  month =               mar,
}
Liste des auteurs