Unconventional Computation
From MaRDI portal
Publication:5479203
DOI10.1007/11560319zbMath1161.68454OpenAlexW4254053743MaRDI QIDQ5479203
Oscar H. Ibarra, Cheng Li, Gaoyan Xie, Zhe Dang
Publication date: 7 July 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11560319
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Formal Verification of P Systems with Active Membranes through Model Checking ⋮ On the Qualitative Analysis of Conformon P Systems ⋮ On Bounded Symport/Antiport P Systems
This page was built for publication: Unconventional Computation
