DBLP Record 'conf/bda/BenzakenS96'

BibTeX

@inproceedings{DBLP:conf/bda/BenzakenS96,
  author    = {V{\'e}ronique Benzaken and
               Xavier Schaefer},
  title     = {Ensuring Efficiently the Integrity of Persistent Object
               Systems via Abstract Interpretation},
  booktitle = {BDA},
  year      = {1996},
  pages     = {119-138},
  crossref  = {DBLP:conf/bda/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/bda/1996,
  editor    = {Patrick Bosc},
  title     = {12{\`e}mes Journ{\'e}es Bases de Donn{\'e}es Avanc{\'e}es,
               27-30 Ao{\^u}t 1996, Cassis (Informal Proceedings)},
  booktitle = {BDA},
  publisher = {INRIA},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}