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 |