%0 Journal Article %1 DBLP:journals/tse/BeyerNL04 %A Beyer, Dirk %A Noack, Andreas %A Lewerentz, Claus %D 2005 %J IEEE Trans. Software Eng. %K algebraic bdd crocopat data query relational %N 2 %P 137--149 %T Efficient Relational Calculation for Software Analysis. %V 31

@article{DBLP:journals/tse/BeyerNL04, added-at = {2007-03-17T15:34:03.000+0100}, author = {Beyer, Dirk and Noack, Andreas and Lewerentz, Claus}, biburl = {https://www.bibsonomy.org/bibtex/2749f7a52738b6cbe422c851eceb6e778/yijunyu}, citeulike-article-id = {1000005}, interhash = {08f0de0d7be3c1e3b1a8672d57f00584}, intrahash = {749f7a52738b6cbe422c851eceb6e778}, journal = {IEEE Trans. Software Eng.}, keywords = {algebraic bdd crocopat data query relational}, number = 2, pages = {137--149}, priority = {0}, timestamp = {2007-03-17T15:34:06.000+0100}, title = {Efficient Relational Calculation for Software Analysis.}, volume = 31, year = 2005 }