@InProceedings{sanchez03event,
  author = 	 {C\'esar S\'anchez and Sriram Sankaranarayanan and Henny B. Sipma and Ting Zhang and David Dill and Zohar Manna},
  title = 	 {Event Correlation: Language and Semantics},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {EMSOFT 2003},
  pages = 	 {323--339},
  year = 	 {2003},
  editor = 	 {Rajeev Alur and Insup Lee},
  volume = 	 {2855},
  OPTnumber = 	 {},
  series = 	 {LNCS},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Spring-Verlag},
  OPTnote = 	 {},
  OPTannote = 	 {}
}