APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.