author : Gaoyan Xie

Short works

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