%0 Journal Article %1 journals/fmsd/SethiMM11 %A Sethi, Divjyot %A Mahajan, Yogesh S. %A Malik, Sharad %D 2011 %J Formal Methods in System Design %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 = {2011-11-08T00:00:00.000+0100}, author = {Sethi, Divjyot and Mahajan, Yogesh S. and Malik, Sharad}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a6b9a1082800209ae5c8d91ee48c916d/dblp}, ee = {http://dx.doi.org/10.1007/s10703-011-0120-6}, interhash = {de753d07cd5a5ba499a7eae02f59cde0}, intrahash = {a6b9a1082800209ae5c8d91ee48c916d}, journal = {Formal Methods in System Design}, keywords = {dblp}, number = 2, pages = {144-164}, timestamp = {2016-02-02T01:14:10.000+0100}, title = {Specification and encoding of transaction interaction properties.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd39.html#SethiMM11}, volume = 39, year = 2011 }