%0 Journal Article %1 journals/jucs/GurevichSW97 %A Gurevich, Yuri %A Soparkar, Nandit %A Wallace, Charles %D 1997 %J J. Univers. Comput. Sci. %K dblp %N 4 %P 320-340 %T Formalizing Database Recovery. %U http://dblp.uni-trier.de/db/journals/jucs/jucs3.html#GurevichSW97 %V 3

@article{journals/jucs/GurevichSW97, added-at = {2023-09-07T00:00:00.000+0200}, author = {Gurevich, Yuri and Soparkar, Nandit and Wallace, Charles}, biburl = {https://www.bibsonomy.org/bibtex/2ce8488373dc1ddfc9c1edccdf77bb6a7/dblp}, ee = {https://doi.org/10.3217/jucs-003-04-0320}, interhash = {2e658431dcd2dd67d4734f04b8f0425f}, intrahash = {ce8488373dc1ddfc9c1edccdf77bb6a7}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 4, pages = {320-340}, timestamp = {2024-04-08T15:59:52.000+0200}, title = {Formalizing Database Recovery.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs3.html#GurevichSW97}, volume = 3, year = 1997 }