Kochanthara, S., Nelissen, G., Pereira, D., & Purandare, R. (2016). REVERT: Runtime Verification for Real-Time Systems.
Citação norma ChicagoKochanthara, Sangeeth, Geoffrey Nelissen, David Pereira, and Rahul Purandare. REVERT: Runtime Verification for Real-Time Systems. 2016.
Citação norma MLAKochanthara, Sangeeth, et al. REVERT: Runtime Verification for Real-Time Systems. 2016.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.