@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{springer="© Springer-Verlag"}
@InProceedings{GP09,
  author = 	 {P. Godefroid and N. Piterman},
  title = 	 {LTL Generalized Model Checking Revisited},
  booktitle = {10th International Conference on Verification, Model 
Checking, and Abstract Interpretation},
  pages = 	 {89-103},
  year = 	 {2009},
  volume = 	 {5403},
  series = 	 lncs,
  publisher = springer,
  pdf = {2009/GP09.pdf},
  url = {2009/GP09.html},
  keywords = {Model Checking},
}