APA-Zitierstil (7. Ausg.)

Liu, Y., Xu, C., & Cheung, S. (2013). AFChecker: Effective model checking for context-aware adaptive applications. The Journal of systems and software, 86(3), 854-867. https://doi.org/10.1016/j.jss.2012.11.055

Chicago-Zitierstil (17. Ausg.)

Liu, Yepang, Chang Xu, und S.C Cheung. "AFChecker: Effective Model Checking for Context-aware Adaptive Applications." The Journal of Systems and Software 86, no. 3 (2013): 854-867. https://doi.org/10.1016/j.jss.2012.11.055.

MLA-Zitierstil (9. Ausg.)

Liu, Yepang, et al. "AFChecker: Effective Model Checking for Context-aware Adaptive Applications." The Journal of Systems and Software, vol. 86, no. 3, 2013, pp. 854-867, https://doi.org/10.1016/j.jss.2012.11.055.