Yepang Liu, Chang Xu, S. C. Cheung. AFChecker: Effective model checking for context-aware adaptive applications. Journal of Systems and Software, 86(3):854-867, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.