scientific article
From MaRDI portal
Publication:3505122
zbMath1149.68404MaRDI QIDQ3505122
Zhe Dang, Cheng Li, Oscar H. Ibarra, Gaoyan Xie
Publication date: 18 June 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (6)
Formal Verification of P Systems with Active Membranes through Model Checking ⋮ A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ Formal verification of cP systems using Coq ⋮ A model learning based testing approach for kernel P systems ⋮ Formal verification of cP systems using PAT3 and ProB ⋮ Test generation from P systems using model checking
This page was built for publication:
