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 |