Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc110303, author = {Zhe Dang and Oscar H. Ibarra and Cheng Li and Gaoyan Xie}, title = {On the Decidability of Model-Checking for P Systems}, journal = jalc, year = 2006, volume = 11, number = 3, pages = {279--298} }