%0 Journal Article %1 journals/fmsd/GawlitzaS14 %A Gawlitza, Thomas Martin %A Seidl, Helmut %D 2014 %J Formal Methods Syst. Des. %K %N 2 %P 101-148 %T Numerical invariants through convex relaxation and max-strategy iteration. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd44.html#GawlitzaS14 %V 44

@article{journals/fmsd/GawlitzaS14, added-at = {2023-12-12T22:29:37.000+0100}, author = {Gawlitza, Thomas Martin and Seidl, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/263f3080f36ca8493ae00a8d5179fa34f/admin}, ee = {https://doi.org/10.1007/s10703-013-0190-8}, interhash = {4ad76a6b71abef3626925aafa3184005}, intrahash = {63f3080f36ca8493ae00a8d5179fa34f}, journal = {Formal Methods Syst. Des.}, keywords = {}, number = 2, pages = {101-148}, timestamp = {2023-12-12T22:29:37.000+0100}, title = {Numerical invariants through convex relaxation and max-strategy iteration.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd44.html#GawlitzaS14}, volume = 44, year = 2014 }