Pierre Ganty, Rupak Majumdar, Benjamin Monmege. Bounded underapproximations. Formal Methods in System Design, 40(2):206-231, 2012. [doi]
@article{GantyMM12, title = {Bounded underapproximations}, author = {Pierre Ganty and Rupak Majumdar and Benjamin Monmege}, year = {2012}, doi = {10.1007/s10703-011-0136-y}, url = {http://dx.doi.org/10.1007/s10703-011-0136-y}, researchr = {https://researchr.org/publication/GantyMM12}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {40}, number = {2}, pages = {206-231}, }