DBLP Record 'conf/db-workshops/BonnerK92'

BibTeX

@inproceedings{DBLP:conf/db-workshops/BonnerK92,
  author    = {Anthony J. Bonner and
               Michael Kifer},
  title     = {transaction Logic: An (Early) Expos{\'e}},
  booktitle = {Formal Methods in Databases and Software Engineering},
  year      = {1992},
  pages     = {1-24},
  crossref  = {DBLP:conf/db-workshops/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/db-workshops/1992,
  editor    = {Vangalur S. Alagar and
               Laks V. S. Lakshmanan and
               Fereidoon Sadri},
  title     = {Formal Methods in Databases and Software Engineering, Proceedings
               of the Workshop on Formal Methods in Databases and Software
               Engineering, Montreal, Canada, 15-16 May 1992},
  booktitle = {Formal Methods in Databases and Software Engineering},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19812-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}