%0 Generic %D 2016 %T P systems based computing polynomials: design and formal verification %A Weitao Yuan %A Gexiang Zhang %A Mario J. Pérez-Jiménez %A Tao Wang %A Zhiwei Huang %N 4 %P 591–596 %R https://doi.org/10.1007/s11047-016-9577-y %U https://link.springer.com/article/10.1007%2Fs11047-016-9577-y %V 15