Rubio Cuéllar, R. R., Martí Oliet, N., Pita Andreu, M. I., & Verdejo López, J. A. (2021). Simulating and model checking membrane systems using strategies in Maude.
Citación estilo ChicagoRubio Cuéllar, Rubén Rafael, Narciso Martí Oliet, María Isabel Pita Andreu, y José Alberto Verdejo López. Simulating and Model Checking Membrane Systems Using Strategies in Maude. 2021.
Cita MLARubio Cuéllar, Rubén Rafael, Narciso Martí Oliet, María Isabel Pita Andreu, y José Alberto Verdejo López. Simulating and Model Checking Membrane Systems Using Strategies in Maude. 2021.
Precaución: Estas citas no son 100% exactas.