%0 Journal Article %1 journals/scp/AmatoSSAV16 %A Amato, Gianluca %A Scozzari, Francesca %A Seidl, Helmut %A Apinis, Kalmer %A Vojdani, Vesal %D 2016 %J Sci. Comput. Program. %K %P 1-24 %T Efficiently intertwining widening and narrowing. %U http://dblp.uni-trier.de/db/journals/scp/scp120.html#AmatoSSAV16 %V 120

@article{journals/scp/AmatoSSAV16, added-at = {2023-12-13T02:31:53.000+0100}, author = {Amato, Gianluca and Scozzari, Francesca and Seidl, Helmut and Apinis, Kalmer and Vojdani, Vesal}, biburl = {https://www.bibsonomy.org/bibtex/225ad5f2edfdac7646f53ac95e208b7f6/admin}, ee = {https://doi.org/10.1016/j.scico.2015.12.005}, interhash = {805f84bf305a18485ea33288a2215269}, intrahash = {25ad5f2edfdac7646f53ac95e208b7f6}, journal = {Sci. Comput. Program.}, keywords = {}, pages = {1-24}, timestamp = {2023-12-13T02:31:53.000+0100}, title = {Efficiently intertwining widening and narrowing.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp120.html#AmatoSSAV16}, volume = 120, year = 2016 }