Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, Jian Lü
Verifying self-adaptive applications suffering uncertainty
ASE, 2014.
@inproceedings{ASE-2014-YangXLCML,
author = "Wenhua Yang and Chang Xu and Yepang Liu and Chun Cao and Xiaoxing Ma and Jian Lü",
booktitle = "{Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1145/2642937.2642999",
isbn = "978-1-4503-3013-8",
pages = "199--210",
publisher = "{ACM}",
title = "{Verifying self-adaptive applications suffering uncertainty}",
year = 2014,
}