%0 Journal Article %1 journals/corr/abs-1212-6542 %A Beyer, Dirk %A Löwe, Stefan %D 2012 %J CoRR %K %T Explicit-Value Analysis Based on CEGAR and Interpolation %U http://dblp.uni-trier.de/db/journals/corr/corr1212.html#abs-1212-6542 %V abs/1212.6542

@article{journals/corr/abs-1212-6542, added-at = {2023-12-13T10:01:03.000+0100}, author = {Beyer, Dirk and Löwe, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2996a219461c06401e763039818df7158/admin}, ee = {http://arxiv.org/abs/1212.6542}, interhash = {d3eed7d1426a37f368bb4b102e25fcca}, intrahash = {996a219461c06401e763039818df7158}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T10:01:03.000+0100}, title = {Explicit-Value Analysis Based on CEGAR and Interpolation}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1212.html#abs-1212-6542}, volume = {abs/1212.6542}, year = 2012 }