L
[Lar95] François Laroussinie. About the Expressive Power of CTL Combinators. Information Processing Letters 54(6):343-345. Elsevier, juin 1995. 
@article{ipl54(6)-Lar,
  author =              {Laroussinie, Fran{\c c}ois},
  title =               {About the Expressive Power of {CTL} Combinators},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {54},
  number =              {6},
  pages =               {343-345},
  year =                {1995},
  month =               jun,
}
Liste des auteurs