@proceedings {2173,
	title = {P systems based computing polynomials with integer coefficients: Design and formal verification},
	journal = {Asian Conference on Membrane Computing (ACMC 2017)},
	year = {2017},
	month = {09/2017},
	pages = {416-443},
	author = {Gexiang Zhang and M. Zhu and Q. Yang and Haina Rong and Weitao Yuan and Mario J. P{\'e}rez-Jim{\'e}nez}
}
