Searching for "On Model-Checking of P Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Decidability of model-checking P systems
by Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie — 2005 — Journal of Automata, languages and combinatorics
…On Model-Checking of P Systems Zhe Dang ¡£¢¤¢ , Oscar H. Ibarra ¥ , Cheng Li ¡ , and Gaoyan Xie…
Cited by 4 (1 self) – Add To MetaCart

Towards Probabilistic Model Checking on P Systems Using PRISM
by Francisco J. Romero-campero, Marian Gheorghe, Luca Bianco, Dario Pescini, Marioj. Pérez-jiménez, Rodica Ceterchi
…Towards Probabilistic Model Checking on P Systems Using PRISM Francisco J. Romero-Campero 1…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB