APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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