APA (7th ed.) Citation

Bartels, B., & Kleine, M. (2011). A CSP-based framework for the specification, verification, and implementation of adaptive systems. ICSE: International Conference on Software Engineering, 158. https://doi.org/10.1145/1988008.1988030

Chicago Style (17th ed.) Citation

Bartels, Björn, and Moritz Kleine. "A CSP-based Framework for the Specification, Verification, and Implementation of Adaptive Systems." ICSE: International Conference on Software Engineering 2011: 158. https://doi.org/10.1145/1988008.1988030.

MLA (9th ed.) Citation

Bartels, Björn, and Moritz Kleine. "A CSP-based Framework for the Specification, Verification, and Implementation of Adaptive Systems." ICSE: International Conference on Software Engineering, 2011, p. 158, https://doi.org/10.1145/1988008.1988030.