%0 Journal Article %1 journals/jss/LiuXC13 %A Liu, Yepang %A Xu, Chang %A Cheung, S. C. %D 2013 %J Journal of Systems and Software %K dblp %N 3 %P 854-867 %T AFChecker: Effective model checking for context-aware adaptive applications. %U http://dblp.uni-trier.de/db/journals/jss/jss86.html#LiuXC13 %V 86

@article{journals/jss/LiuXC13, added-at = {2013-01-31T00:00:00.000+0100}, author = {Liu, Yepang and Xu, Chang and Cheung, S. C.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26b2f3a1b3d0618f8618ab8edd008c1bc/dblp}, ee = {http://dx.doi.org/10.1016/j.jss.2012.11.055}, interhash = {a5d1432732831916f9faa020afa13a21}, intrahash = {6b2f3a1b3d0618f8618ab8edd008c1bc}, journal = {Journal of Systems and Software}, keywords = {dblp}, number = 3, pages = {854-867}, timestamp = {2016-02-02T05:11:43.000+0100}, title = {AFChecker: Effective model checking for context-aware adaptive applications.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss86.html#LiuXC13}, volume = 86, year = 2013 }