Citação norma APA

Pedro, A. M., Pereira, D., Pinho, L. M., & Pinto, J. S. (2017). SMT-based schedulability analysis using RMTL-∫.

Citação norma Chicago

Pedro, André Matos, David Pereira, Luís Miguel Pinho, and Jorge Sousa Pinto. SMT-based Schedulability Analysis Using RMTL-∫. 2017.

Citação norma MLA

Pedro, André Matos, et al. SMT-based Schedulability Analysis Using RMTL-∫. 2017.

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