@misc{indiciaeaf99d53832e6,
  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 = {2024},
  doi = {10.1016/j.jlamp.2021.100727},
  url = {https://arxiv.org/abs/2401.07743},
  note = {Source identifier: 2401.07743}
}