general.bib

@INPROCEEDINGS{xu10,
  AUTHOR = {D.N. Xu and G. Goessler and A. Girault},
  TITLE = {Probabilistic Contracts for Component-based Design},
  BOOKTITLE = {International Symposium on Automated Technology for
                  Verification and Analysis, ATVA'10},
  KEY = {my-cbd},
  OPTPAGES = {???},
  YEAR = 2010,
  OPTVOLUME = {???},
  SERIES = {LNCS},
  ADDRESS = {Singapore, Singapore},
  MONTH = SEP,
  PUBLISHER = {Springer-Verlag}
}