Simulating and model checking membrane systems using strategies in Maude

From MaRDI portal
Publication:2667188

DOI10.1016/j.jlamp.2021.100727OpenAlexW3207599545WikidataQ123905800 ScholiaQ123905800MaRDI QIDQ2667188

Isabel Pita, Rubén Rubio, Alberto Verdejo, Narciso Martí-Oliet

Publication date: 24 November 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100727



Related Items


Uses Software


Cites Work