%0 Journal Article %1 journals/access/LinJWD19 %A Lin, Jian %A Jiang, Liehui %A Wang, Yisen %A Dong, Weiyu %D 2019 %J IEEE Access %K dblp %P 114593-114606 %T A Value Set Analysis Refinement Approach Based on Conditional Merging and Lazy Constraint Solving. %U http://dblp.uni-trier.de/db/journals/access/access7.html#LinJWD19 %V 7

@article{journals/access/LinJWD19, added-at = {2021-09-06T00:00:00.000+0200}, author = {Lin, Jian and Jiang, Liehui and Wang, Yisen and Dong, Weiyu}, biburl = {https://www.bibsonomy.org/bibtex/202a949d514f5879756c69ba92d41e676/dblp}, ee = {https://doi.org/10.1109/ACCESS.2019.2936139}, interhash = {053794bef69cc7d21b5381509e2f3654}, intrahash = {02a949d514f5879756c69ba92d41e676}, journal = {IEEE Access}, keywords = {dblp}, pages = {114593-114606}, timestamp = {2024-04-08T13:52:24.000+0200}, title = {A Value Set Analysis Refinement Approach Based on Conditional Merging and Lazy Constraint Solving.}, url = {http://dblp.uni-trier.de/db/journals/access/access7.html#LinJWD19}, volume = 7, year = 2019 }