@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{mar="March"}
@string{springer="© Springer-Verlag"}
@InProceedings{FPPZ04a,
  author = 	 {Y. Fang and N. Piterman and A. Pnueli and L. Zuck},
  title = 	 {Liveness with Incomprehensible Ranking},
  booktitle = {10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages = 	 {482-496},
  year = 	 {2004},
  volume = 	 {2988},
  series = 	 lncs,
  address = 	 {Bercelona, Spain},
  month = 	 mar,
  publisher = springer,
  url = 	 {2004/FPPZ04a.html},
  pdf = 	 {2004/FPPZ04a.pdf},
  keywords = {Model Checking},
}