Shinji Kikuchi, Kunihiko Hiraishi. Improving reliability in management of cloud computing infrastructure by formal methods. In 2014 IEEE Network Operations and Management Symposium, NOMS 2014, Krakow, Poland, May 5-9, 2014. pages 1-7, IEEE, 2014. [doi]
Abstract is missing.