P
[PSS+03] Matteo Pradella, Pierluigi San Pietro, Paola Spoletini, and Angelo Morzenti. Practical Model Checking of LTL with Past. In ATVA'03. December 2003. 
@inproceedings{atva2003-PSSM,
  author =              {Pradella, Matteo and San{~}Pietro, Pierluigi and
                         Spoletini, Paola and Morzenti, Angelo},
  title =               {Practical Model Checking of {LTL} with Past},
  booktitle =           {{P}roceedings of the 1st {I}nternational {W}orkshop
                         on {A}utomated {T}echnology for {V}erification and
                         {A}nalysis ({ATVA}'03)},
  acronym =             {{ATVA}'03},
  year =                {2003},
  month =               dec,
}
List of authors