APA (7th ed.) Citation

Kochanthara, S., Nelissen, G., Pereira, D., & Purandare, R. (2016). REVERT: Runtime Verification for Real-Time Systems.

Chicago Style (17th ed.) Citation

Kochanthara, Sangeeth, Geoffrey Nelissen, David Pereira, and Rahul Purandare. REVERT: Runtime Verification for Real-Time Systems. 2016.

MLA (8th ed.) Citation

Kochanthara, Sangeeth, et al. REVERT: Runtime Verification for Real-Time Systems. 2016.