@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{springer="© Springer-Verlag"}
@InProceedings{GLP06,
  author = 	 {O. Grinchtein and M. Leucker and N. Piterman},
  title = 	 {Inferring Network Invariants Automatically},
  booktitle = {3rd International Joint Conference on Automated 
Reasoning},
  pages = 	 {483-497},
  year = 	 2006,
  volume = 	 {4130},
  series = 	 lncs,
  publisher = springer,
  OPTpdf = {2006/GLP06.pdf},
  url = {2006/GLP06.html},
  keywords = {Model Checking},
}