Cancelinha, B. M. S. (2019). Towards model checking electrum specifications with LTSmin.
Citação do estilo Chicago (17ª ed.)Cancelinha, Bruno Miguel Sousa. Towards Model Checking Electrum Specifications with LTSmin. 2019.
Citação MLA (8ª ed.)Cancelinha, Bruno Miguel Sousa. Towards Model Checking Electrum Specifications with LTSmin. 2019.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.