E
[Eme96] E. Allen Emerson. Automated Temporal Reasoning about Reactive Systems. In Banff'94, Lecture Notes in Computer Science 1043, pages 41-101. Springer-Verlag, 1996. 
@inproceedings{banff1994-Eme,
  author =              {Emerson, E. Allen},
  title =               {Automated Temporal Reasoning about Reactive Systems},
  editor =              {Moller, Faron and Birtwistle, Graham M.},
  booktitle =           {{L}ogics for {C}oncurrency, {S}tructure versus
                         {A}utomata: {P}roceedings of the 8th {B}anff
                         {H}igher {O}rder {W}orkshop ({B}anff'94)},
  acronym =             {{B}anff'94},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1043},
  pages =               {41-101},
  year =                {1996},
  confyear =            {1994},
  confmonth =           {8-9},
}
List of authors