Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. Simulating and model checking membrane systems using strategies in Maude. J. Log. Algebr. Meth. Program., 124:100727, 2022. [doi]
@article{RubioMPV22-0,
title = {Simulating and model checking membrane systems using strategies in Maude},
author = {Rubén Rubio and Narciso Martí-Oliet and Isabel Pita and Alberto Verdejo},
year = {2022},
doi = {10.1016/j.jlamp.2021.100727},
url = {https://doi.org/10.1016/j.jlamp.2021.100727},
researchr = {https://researchr.org/publication/RubioMPV22-0},
cites = {0},
citedby = {0},
journal = {J. Log. Algebr. Meth. Program.},
volume = {124},
pages = {100727},
}