APA (7th ed.) Citation

Nelissen, G., Pereira, D., & Pinho, L. M. (2015). Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems.

Chicago Style (17th ed.) Citation

Nelissen, Geoffrey, David Pereira, and Luís Miguel Pinho. Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems. 2015.

MLA (8th ed.) Citation

Nelissen, Geoffrey, et al. Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems. 2015.