%0 Journal Article %1 journals/cj/KongSHGS14 %A Kong, Hui %A Song, Xiaoyu %A Han, Dong %A Gu, Ming %A Sun, Jiaguang %D 2014 %J Comput. J. %K dblp %N 7 %P 1033-1045 %T A New Barrier Certificate for Safety Verification of Hybrid Systems. %U http://dblp.uni-trier.de/db/journals/cj/cj57.html#KongSHGS14 %V 57

@article{journals/cj/KongSHGS14, added-at = {2014-07-15T00:00:00.000+0200}, author = {Kong, Hui and Song, Xiaoyu and Han, Dong and Gu, Ming and Sun, Jiaguang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25a6a131e493df89212523f65cdbc2ff9/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/bxt059}, interhash = {567278dc9f6605efe43ba5385e4bafad}, intrahash = {5a6a131e493df89212523f65cdbc2ff9}, journal = {Comput. J.}, keywords = {dblp}, number = 7, pages = {1033-1045}, timestamp = {2016-02-02T09:09:35.000+0100}, title = {A New Barrier Certificate for Safety Verification of Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj57.html#KongSHGS14}, volume = 57, year = 2014 }