Tao Zhang, Shaobin Huang, Tian-yang Lv, Hongtao Huang. Specification and verification of policy using RAISE and modelchecking. In Yongsheng Ding, Yonghong Peng, Riyi Shi, Kuangrong Hao, Lipo Wang, editors, 4th International Conference on Biomedical Engineering and Informatics, BMEI 2011, Shanghai, China, October 15-17, 2011. pages 2082-2086, IEEE, 2011. [doi]
Abstract is missing.