%0 Conference Paper %1 conf/sigmod/ChrysanthisR90 %A Chrysanthis, Panos K. %A Ramamritham, Krithi %B SIGMOD Conference %D 1990 %E Garcia-Molina, Hector %E Jagadish, H. V. %I ACM Press %K dblp %P 194-203 %T ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. %U http://dblp.uni-trier.de/db/conf/sigmod/sigmod90.html#ChrysanthisR90 %@ 978-0-89791-365-2

@inproceedings{conf/sigmod/ChrysanthisR90, added-at = {2022-04-09T00:00:00.000+0200}, author = {Chrysanthis, Panos K. and Ramamritham, Krithi}, biburl = {https://www.bibsonomy.org/bibtex/2969c1873c40100cfd7456bc8544505ea/dblp}, booktitle = {SIGMOD Conference}, cdrom = {SIGMOD90/P194.PDF}, cite = {journals/tc/Weihl88}, crossref = {conf/sigmod/90}, editor = {Garcia-Molina, Hector and Jagadish, H. V.}, ee = {https://doi.org/10.1145/93605.98729}, interhash = {ca415ca3e3ab5387ddc4ea1c50665432}, intrahash = {969c1873c40100cfd7456bc8544505ea}, isbn = {978-0-89791-365-2}, keywords = {dblp}, note = {SIGMOD Record 19(2), June 1990}, pages = {194-203}, publisher = {ACM Press}, timestamp = {2024-04-09T16:32:29.000+0200}, title = {ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior.}, url = {http://dblp.uni-trier.de/db/conf/sigmod/sigmod90.html#ChrysanthisR90}, year = 1990 }