David Orellana-Martín, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez. Proof techniques in Membrane Computing. Theoretical Computer Science, 862:236-249, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.