%0 Conference Paper %1 conf/vldb/AmmannJR95 %A Ammann, Paul %A Jajodia, Sushil %A Ray, Indrakshi %B VLDB %D 1995 %E Dayal, Umeshwar %E Gray, Peter M. D. %E Nishio, Shojiro %I Morgan Kaufmann %K dblp %P 218-227 %T Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions. %U http://dblp.uni-trier.de/db/conf/vldb/vldb95.html#AmmannJR95 %@ 1-55860-379-4

@inproceedings{conf/vldb/AmmannJR95, added-at = {2017-03-29T00:00:00.000+0200}, author = {Ammann, Paul and Jajodia, Sushil and Ray, Indrakshi}, biburl = {https://www.bibsonomy.org/bibtex/2ceb435713fed1c6d9b63772e4e555c9e/dblp}, booktitle = {VLDB}, cite = {books/mk/elmagarmid92/WachterR92}, crossref = {conf/vldb/95}, editor = {Dayal, Umeshwar and Gray, Peter M. D. and Nishio, Shojiro}, ee = {http://www.vldb.org/conf/1995/P218.PDF}, interhash = {942309e62d78acee600d969d35df0702}, intrahash = {ceb435713fed1c6d9b63772e4e555c9e}, isbn = {1-55860-379-4}, keywords = {dblp}, pages = {218-227}, publisher = {Morgan Kaufmann}, timestamp = {2018-02-21T11:40:38.000+0100}, title = {Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions.}, url = {http://dblp.uni-trier.de/db/conf/vldb/vldb95.html#AmmannJR95}, year = 1995 }