Citazione Stile APA (7a Edizione)

Rubio, R., Martí-Oliet, N., Pita, I., & Verdejo, A. (2024). Model checking strategy-controlled systems in rewriting logic.

Citazione stile Chigago Style (17a edizione)

Rubio, Rubén, Narciso Martí-Oliet, Isabel Pita, e Alberto Verdejo. Model Checking Strategy-controlled Systems in Rewriting Logic. 2024.

Citatione MLA (9a ed.)

Rubio, Rubén, et al. Model Checking Strategy-controlled Systems in Rewriting Logic. 2024.