Cita APA

Martí Oliet, N., Pita Andreu, M. I., Verdejo López, J. A., & Rubio Cuéllar, R. R. (2019). Model checking strategy-controlled rewriting systems (extended version).

Citación estilo Chicago

Martí Oliet, Narciso, María Isabel Pita Andreu, José Alberto Verdejo López, y Rubén Rafael Rubio Cuéllar. Model Checking Strategy-controlled Rewriting Systems (extended Version). 2019.

Cita MLA

Martí Oliet, Narciso, María Isabel Pita Andreu, José Alberto Verdejo López, y Rubén Rafael Rubio Cuéllar. Model Checking Strategy-controlled Rewriting Systems (extended Version). 2019.