@article{Chen2019,
    author = {Chen, Shenghui and Fan, Zhiming and Shen, Haiying and Feng, Lu},
    journal = {IEEE 16th International Conference on Mobile Ad Hoc and Sensor Systems Workshops},
    title = {Performance Modeling and Verification of Load Balancing in Cloud Systems Using Formal Methods},
    year = {2019}
}