APA (7th ed.) Citation

Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J., Reinkemeier, P., . . . Larsen, K. G. (2018). Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.2 Components for shared variable concurrency. Foundations & Trends in Electronic Design Automation, 12(2/3), 219. https://doi.org/10.1561/1000000053

Chicago Style (17th ed.) Citation

Benveniste, A., et al. "Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.2 Components for Shared Variable Concurrency." Foundations & Trends in Electronic Design Automation 12, no. 2/3 (2018): 219. https://doi.org/10.1561/1000000053.

MLA (9th ed.) Citation

Benveniste, A., et al. "Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.2 Components for Shared Variable Concurrency." Foundations & Trends in Electronic Design Automation, vol. 12, no. 2/3, 2018, p. 219, https://doi.org/10.1561/1000000053.