%0 Conference Paper %1 chrysanthis90 %A Chrysanthis, P.K. %A Ramamritham, K. %B Proccedings of the ACM SIGMOD International Conference on Management of Data %D 1990 %K ACTA %P 194--203 %T A Framework for Specifying and Reasoning about Transaction Structure and Behavior

@inproceedings{chrysanthis90, added-at = {2007-06-19T16:03:11.000+0200}, author = {Chrysanthis, P.K. and Ramamritham, K.}, biburl = {https://www.bibsonomy.org/bibtex/2a6d23b0ec3596f44fc5ceed208589442/charoy}, booktitle = {Proccedings of the ACM SIGMOD International Conference on Management of Data}, interhash = {c1e8c358fe203655d5dcea8ca243b135}, intrahash = {a6d23b0ec3596f44fc5ceed208589442}, keywords = {ACTA}, pages = {194--203}, timestamp = {2007-06-19T16:03:21.000+0200}, title = {{A Framework for Specifying and Reasoning about Transaction Structure and Behavior}}, year = 1990 }