Cita APA (7a ed.)

Rubio, R., Martí-Oliet, N., Pita, I., & Verdejo, A. (2024). Strategies, model checking and branching-time properties in Maude.

Cita Chicago Style (17a ed.)

Rubio, Rubén, Narciso Martí-Oliet, Isabel Pita, y Alberto Verdejo. Strategies, Model Checking and Branching-time Properties in Maude. 2024.

Cita MLA (9a ed.)

Rubio, Rubén, et al. Strategies, Model Checking and Branching-time Properties in Maude. 2024.