TY  - JOUR
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Martí Oliet, Narciso
AU  - Pita Andreu, María Isabel
AU  - Verdejo López, José Alberto
PY  - 2021
DO  - 10.1016/j.jlamp.2021.100727
SN  - 2352-2208
UR  - https://hdl.handle.net/20.500.14352/91462
T2  - Journal of Logical and Algebraic Methods in Programming
AB  - Membrane systems are a biologically-inspired computational model based on the structure of biological cells and the way chemicals interact and traverse their membranes. Although its dynamics is described by rules, encoding membrane systems into...
LA  - eng
M2  - 1
PB  - Elsevier
KW  - Rewriting strategies
KW  - Membrane computing
KW  - Maude
KW  - Model checking
TI  - Simulating and model checking membrane systems using strategies in Maude
TY  - journal article
VL  - 124
ER  -