@inproceedings{FM-2016-YangHCL0,
	author        = "Zhengfeng Yang and Chao Huang and Xin Chen 0027 and Wang Lin and Zhiming Liu 0001",
	booktitle     = "{Proceedings of the 21st International Symposium of Formal Methods}",
	doi           = "10.1007/978-3-319-48989-6_44",
	isbn          = "978-3-319-48988-9",
	pages         = "721--738",
	title         = "{A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems}",
	year          = 2016,
}