G
[Gra83] Susanne Graf. On Lamport's Comparison between Linear and Branching Time Logic. Research Report 348, Lab. Informatique et Mathématiques Apppliquées de Grenoble, France, January 1983. 
@techreport{imag348-Gra,
  author =              {Graf, Susanne},
  title =               {On {L}amport's Comparison between Linear and
                         Branching Time Logic},
  number =              {348},
  year =                {1983},
  month =               jan,
  institution =         {Lab.~Informatique et Math{\'e}matiques Apppliqu\'ees
                         de Grenoble, France},
  type =                {Research Report},
}
List of authors