Peng Jun, Xingyuan Chen, Wu Bei, Dai Xiangdong, Yongliang Wang. Policy Monitoring and a Finite State Automata Model. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. pages 646-649, IEEE Computer Society, 2008. [doi]
Abstract is missing.