Roberto Bagnara, Patricia M. Hill, Enea Zaffanella. Applications of polyhedral computations to the analysis and verification of hardware and software systems. Theoretical Computer Science, 410(46):4672-4691, 2009. [doi]
@article{BagnaraHZ09, title = {Applications of polyhedral computations to the analysis and verification of hardware and software systems}, author = {Roberto Bagnara and Patricia M. Hill and Enea Zaffanella}, year = {2009}, doi = {10.1016/j.tcs.2009.07.033}, url = {http://dx.doi.org/10.1016/j.tcs.2009.07.033}, tags = {analysis}, researchr = {https://researchr.org/publication/BagnaraHZ09}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {410}, number = {46}, pages = {4672-4691}, }