Luyao Wang, Fengwei Sui, Yanhong Huang, Huibiao Zhu. Modeling and Verifying the Ballooning in Xen with CSP. In 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. pages 18-25, IEEE, 2015. [doi]
Abstract is missing.