%0 Journal Article %1 journals/mics/LiuZZ12 %A Liu, Jiang %A Zhan, Naijun %A Zhao, Hengjun %D 2012 %J Mathematics in Computer Science %K dblp %N 4 %P 395-408 %T Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems. %U http://dblp.uni-trier.de/db/journals/mics/mics6.html#LiuZZ12 %V 6

@article{journals/mics/LiuZZ12, added-at = {2013-09-25T00:00:00.000+0200}, author = {Liu, Jiang and Zhan, Naijun and Zhao, Hengjun}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2314520c96e7b0d3ed7386c55241a9ae1/dblp}, ee = {http://dx.doi.org/10.1007/s11786-012-0133-6}, interhash = {2cdbba22c70e67b91eec3332fc998a70}, intrahash = {314520c96e7b0d3ed7386c55241a9ae1}, journal = {Mathematics in Computer Science}, keywords = {dblp}, number = 4, pages = {395-408}, timestamp = {2016-02-02T09:00:23.000+0100}, title = {Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems.}, url = {http://dblp.uni-trier.de/db/journals/mics/mics6.html#LiuZZ12}, volume = 6, year = 2012 }