%0 Journal Article %1 journals/tse/BabinLS91 %A Babin, Gilbert %A Lustman, François %A Shoval, Peretz %D 1991 %J IEEE Trans. Software Eng. %K dblp %N 8 %P 814-829 %T Specification and Design of Transactions in Information Systems: A Formal Approach. %U http://dblp.uni-trier.de/db/journals/tse/tse17.html#BabinLS91 %V 17

@article{journals/tse/BabinLS91, added-at = {2015-12-10T00:00:00.000+0100}, author = {Babin, Gilbert and Lustman, François and Shoval, Peretz}, biburl = {https://www.bibsonomy.org/bibtex/27b45261513cf366248dcbae8f327ddec/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.83916}, interhash = {bc6bf3dc952af4344ccbb96e1c6cef0c}, intrahash = {7b45261513cf366248dcbae8f327ddec}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 8, pages = {814-829}, timestamp = {2015-12-12T11:49:40.000+0100}, title = {Specification and Design of Transactions in Information Systems: A Formal Approach.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse17.html#BabinLS91}, volume = 17, year = 1991 }