@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{jul="July"}
@string{springer="© Springer-Verlag"}
@InProceedings{PV04,
  author = 	 {N. Piterman and M.Y. Vardi},
  title = 	 {Global Model-Checking for Infinite-State Systems},
  booktitle = {16th International Conference on Computer Aided Verification},
  pages = 	 {387-400},
  year = 	 {2004},
  volume = 	 {3114},
  series = 	 lncs,
  address = 	 {Boston, MA, USA},
  month = 	 jul,
  publisher = springer,
  url = 	 {2004/PV04.html},
  pdf = 	 {2004/PV04.pdf},
  keywords = {Model Checking,Automata},
}