APA (7th ed.) Citation

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 Style (17th ed.) Citation

Liu, Yepang, Chang Xu, and 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 (9th ed.) Citation

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.