G
[GPV+96] Rob Gerth, Doron A. Peled, Moshe Y. Vardi, and Pierre Wolper. Simple On-the-fly Automatic Verification of Linear Temporal Logic. In PSTV'95, IFIP Conference Proceedings 38, pages 3-18. Chapman & Hall, 1996. 
@inproceedings{pstv1995-GPVW,
  author =              {Gerth, Rob and Peled, Doron A. and Vardi, Moshe Y.
                         and Wolper, Pierre},
  title =               {Simple On-the-fly Automatic Verification of Linear
                         Temporal Logic},
  editor =              {Dembinski, Piotr and Sredniawa, Marek},
  booktitle =           {{P}roceedings of the 15th {I}nternational
                         {S}ymposium on {P}rotocol {S}pecification, {T}esting
                         and {V}erification ({PSTV}'95)},
  acronym =             {{PSTV}'95},
  publisher =           {Chapman \& Hall},
  series =              {IFIP Conference Proceedings},
  volume =              {38},
  pages =               {3-18},
  year =                {1996},
  confyear =            {1995},
  confmonth =           {6},
}
List of authors