@InProceedings{KM11,
author={Shinji Kikuchi, Yasuhide Matsumoto},
title={Performance Modeling of Concurrent Live Migration Operations in Cloud Computing Systems using PRISM Probabilistic Model Checker},
booktitle={Proc. 4th International Conference on Cloud Computing (IEEE Cloud 2011)},
year={2011},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}