APA (7th ed.) Citation

Pedro, A. d. M., Leucker, M., Pereira, D., & Pinto, J. S. (2020). Real-time MTL with durations as SMT with applications to schedulability analysis.

Chicago Style (17th ed.) Citation

Pedro, André de Matos, Martin Leucker, David Pereira, and Jorge Sousa Pinto. Real-time MTL with Durations as SMT with Applications to Schedulability Analysis. 2020.

MLA (8th ed.) Citation

Pedro, André de Matos, et al. Real-time MTL with Durations as SMT with Applications to Schedulability Analysis. 2020.