G
[Gra84] Susanne Graf. On Lamport's Comparison between Linear and Branching Time Logic. RAIRO – Informatique Théorique et Applications 18(4):345-353. EDP Sciences, 1984. 
@article{rairo-ita18(4)-Gra,
  author =              {Graf, Susanne},
  title =               {On {L}amport's Comparison between Linear and
                         Branching Time Logic},
  publisher =           {EDP Sciences},
  journal =             {RAIRO~-- Informatique Th{\'e}orique et Applications},
  volume =              {18},
  number =              {4},
  pages =               {345-353},
  year =                {1984},
}
Liste des auteurs