| Title | P systems based computing polynomials with integer coefficients: Design and formal verification |
| Publication Type | Conference Proceedings |
| Year of Publication | 2017 |
| Authors | Zhang, G., Zhu M., Yang Q., Rong H., Yuan W., & Pérez-Jiménez M. J. |
| Conference Name | Asian Conference on Membrane Computing (ACMC 2017) |
| Series Title | Pre-proceedings of Asian Conference on Membrane Computing (ACMC 2017) |
| Pages | 416-443 |
| Date Published | 09/2017 |