Citação norma APA

Rubio Cuéllar, R. R. (2022). Model checking of strategy-controlled systems in rewriting logic.

Citação norma Chicago

Rubio Cuéllar, Rubén Rafael. Model Checking of Strategy-controlled Systems in Rewriting Logic. 2022.

Citação norma MLA

Rubio Cuéllar, Rubén Rafael. Model Checking of Strategy-controlled Systems in Rewriting Logic. 2022.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.