VOLUME 11 2006 NUMBER 3

On the Decidability of Model-Checking for P Systems
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
Pages 279–298





Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2006-279,
  author  = {Zhe Dang and Oscar H. Ibarra and Cheng Li and Gaoyan Xie},
  title   = {On the Decidability of Model-Checking for P Systems},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {11},
  number  = {3},
  pages   = {279--298},
  year    = {2006},
  url     = {https://doi.org/10.25596/jalc-2006-279},
  doi     = {10.25596/jalc-2006-279}
}
If you would like to see an embedded preview, try to select preview as the action for Portable Document Format (PDF) in your brower settings.
Keywords: membrane computing, P system, model-checking
DOI: 10.25596/jalc-2006-279