%0 Journal Article %1 journals/scp/FernandezBG03 %A Fernandez, Jean-Claude %A Bozga, Marius %A Ghirvu, Lucian %D 2003 %J Sci. Comput. Program. %K dblp %N 2-3 %P 203-220 %T State space reduction based on live variables analysis. %U http://dblp.uni-trier.de/db/journals/scp/scp47.html#FernandezBG03 %V 47

@article{journals/scp/FernandezBG03, added-at = {2003-11-27T00:00:00.000+0100}, author = {Fernandez, Jean-Claude and Bozga, Marius and Ghirvu, Lucian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2287ee944b5a8e68c09267a3349dbcb4f/dblp}, ee = {http://dx.doi.org/10.1016/S0167-6423(02)00133-8}, interhash = {3fb5b37c5b43f050cbeb4c5e9fb81f52}, intrahash = {287ee944b5a8e68c09267a3349dbcb4f}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = {2-3}, pages = {203-220}, timestamp = {2016-02-02T02:39:31.000+0100}, title = {State space reduction based on live variables analysis.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp47.html#FernandezBG03}, volume = 47, year = 2003 }