Ahmad A. Alzahrani, Seng Wai Loke, Hongen Lu. A Formal Model for Advanced Physical Annotations. In IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing, DASC 2011, 12-14 December 2011, Sydney, Australia. pages 170-177, IEEE, 2011. [doi]
Abstract is missing.