| Title | P systems based computing polynomials with integer coefficients: Design and formal verification |
| Publication Type | Journal Papers |
| Year of Publication | 2018 |
| Authors | Zhu, M., Zhang G., Yang Q., Rong H., Yuan W., & Pérez-Jiménez M. J. |
| Journal Title | IEEE Transactions on NanoBioscience |
| URL | https://ieeexplore.ieee.org/document/8360137/ |
| Issue | in press |