On Model-Checking of P Systems.

Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie

Browse the full UC paper archive.