ChrysanthisR90'

BibTeX

@inproceedings{DBLP:conf/sigmod/ChrysanthisR90,
  author    = {Panos K. Chrysanthis and
               Krithi Ramamritham},
  title     = {ACTA: A Framework for Specifying and Reasoning about Transaction
               Structure and Behavior},
  booktitle = {SIGMOD Conference},
  year      = {1990},
  pages     = {194-203},
  ee        = {http://doi.acm.org/10.1145/93597.98729, db/conf/sigmod/ChrysanthisR90.html},
  crossref  = {DBLP:conf/sigmod/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sigmod/90,
  editor    = {Hector Garcia-Molina and
               H. V. Jagadish},
  title     = {Proceedings of the 1990 ACM SIGMOD International Conference
               on Management of Data, Atlantic City, NJ, May 23-25, 1990},
  publisher = {ACM Press},
  year      = {1990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}