@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{springer="© Springer-Verlag"}
@InProceedings{HKP11,
  author = 	 {M. Huth and J.H. Kuo and N. Piterman},
  title = 	 {Concurrent Small Progress Measures},
  booktitle = {Haifa Verification Conference},
  series =    lncs,
  pages = 	 {130-144},
  year = 	 {2011},
  volume = 	 {7261},
  pdf = {2011/HKP11.pdf},
  publisher = springer,
  keywords = {Games},
}