Automata, Languages and Programming

DOI10.1007/11523468zbMath1081.68021OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716768

Oscar H. Ibarra, Zhe Dang, Hsu-Chun Yen, Cheng Li

Publication date: 10 January 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11523468

zbMATH Keywords

verificationsymbolic model checkingP systemsmembrane computingDiophantine equationssignaling systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

Related Items (3)

On the verification of membrane systems with dynamic structure ⋮ A Biologically Inspired Model with Fusion and Clonation of Membranes ⋮ On the Dynamics of PB Systems with Volatile Membranes

This page was built for publication: Automata, Languages and Programming