| Title | P systems based computing polynomials: design and formal verification |
| Publication Type | Journal Papers |
| Year of Publication | 2016 |
| Authors | Yuan, W., Zhang G., Pérez-Jiménez M. J., Wang T., & Huang Z. |
| Journal Title | Natural Computing |
| Volume | 15 |
| Pages | 591–596 |
| URL | https://link.springer.com/article/10.1007%2Fs11047-016-9577-y |
| Issue | 4 |
| DOI | https://doi.org/10.1007/s11047-016-9577-y |