author : Cheng Li

Papers/Articles

• On Model-Checking of P Systems. 2005. In Unconventional Computation, UC 2005