APA (7th ed.) Citation

Könighofer, B., Alshiekh, M., Bloem, R., Humphrey, L., Könighofer, R., Topcu, U., & Wang, C. (2017). Shield synthesis. Formal methods in system design, 51(2), 332-361. https://doi.org/10.1007/s10703-017-0276-9

Chicago Style (17th ed.) Citation

Könighofer, Bettina, Mohammed Alshiekh, Roderick Bloem, Laura Humphrey, Robert Könighofer, Ufuk Topcu, and Chao Wang. "Shield Synthesis." Formal Methods in System Design 51, no. 2 (2017): 332-361. https://doi.org/10.1007/s10703-017-0276-9.

MLA (9th ed.) Citation

Könighofer, Bettina, et al. "Shield Synthesis." Formal Methods in System Design, vol. 51, no. 2, 2017, pp. 332-361, https://doi.org/10.1007/s10703-017-0276-9.