Citação norma APA

Cancelinha, B. M. S. (2019). Towards model checking electrum specifications with LTSmin.

Citação norma Chicago

Cancelinha, Bruno Miguel Sousa. Towards Model Checking Electrum Specifications with LTSmin. 2019.

Citação norma MLA

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.