P systems based computing polynomials with integer coefficients: Design and formal verification

TitleP systems based computing polynomials with integer coefficients: Design and formal verification
Publication TypeConference Proceedings
Year of Publication2017
AuthorsZhang, G., Zhu M., Yang Q., Rong H., Yuan W., & Pérez-Jiménez M. J.
Conference NameAsian Conference on Membrane Computing (ACMC 2017)
Series TitlePre-proceedings of Asian Conference on Membrane Computing (ACMC 2017)
Pages416-443
Date Published09/2017