Predictive runtime enforcement.

MLA

Pinisetty, Srinivas, et al. “Predictive Runtime Enforcement.” Formal Methods in System Design, vol. 51, no. 1, Aug. 2017, pp. 154–99. EBSCOhost, https://doi.org/10.1007/s10703-017-0271-1.

APA

Pinisetty, S., Preoteasa, V., Tripakis, S., Jéron, T., Falcone, Y., & Marchand, H. (2017). Predictive runtime enforcement. Formal Methods in System Design, 51(1), 154–199. https://doi.org/10.1007/s10703-017-0271-1

Chicago

Pinisetty, Srinivas, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, and Hervé Marchand. 2017. “Predictive Runtime Enforcement.” Formal Methods in System Design 51 (1): 154–99. doi:10.1007/s10703-017-0271-1.