%0 Journal Article %1 journals/fmsd/SethiMM11 %A Sethi, Divjyot %A Mahajan, Yogesh S. %A Malik, Sharad %D 2011 %J Formal Methods Syst. Des. %K dblp %N 2 %P 144-164 %T Specification and encoding of transaction interaction properties. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd39.html#SethiMM11 %V 39

@article{journals/fmsd/SethiMM11, added-at = {2023-09-30T00:00:00.000+0200}, author = {Sethi, Divjyot and Mahajan, Yogesh S. and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/26341e0c981d1152d88064544d9bd8e2b/dblp}, ee = {https://doi.org/10.1007/s10703-011-0120-6}, interhash = {de753d07cd5a5ba499a7eae02f59cde0}, intrahash = {6341e0c981d1152d88064544d9bd8e2b}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {144-164}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {Specification and encoding of transaction interaction properties.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd39.html#SethiMM11}, volume = 39, year = 2011 }