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).
Citação norma ChicagoMartí 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ção norma MLAMartí 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.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.