%0 Journal Article %1 journals/cj/HeSGS09 %A He, Fei %A Song, Xiaoyu %A Gu, Ming %A Sun, Jia-Guang %D 2009 %J Comput. J. %K dblp %N 3 %P 280-287 %T Heuristic-Guided Abstraction Refinement. %U http://dblp.uni-trier.de/db/journals/cj/cj52.html#HeSGS09 %V 52

@article{journals/cj/HeSGS09, added-at = {2009-06-22T00:00:00.000+0200}, author = {He, Fei and Song, Xiaoyu and Gu, Ming and Sun, Jia-Guang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29846e88a82d2b8c50d32db48066f2a01/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/bxm085}, interhash = {39a60d89434fe416ae0443f304ba0811}, intrahash = {9846e88a82d2b8c50d32db48066f2a01}, journal = {Comput. J.}, keywords = {dblp}, number = 3, pages = {280-287}, timestamp = {2016-02-02T09:09:09.000+0100}, title = {Heuristic-Guided Abstraction Refinement.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj52.html#HeSGS09}, volume = 52, year = 2009 }