@InProceedings{IK17,
author={A. Ismail and M. Kwiatkowska},
title={Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking},
booktitle={Proc. 24th Asia-Pacific Software Engineering Conference (APSEC'17)},
year={2017},

editors={},
pages={},
organization={},
publisher={IEEE},
series={},
volume={},
address={},
month={},
note={}
}