Xinli Wang, Jean Mayo, Guy C. Hembroff, Chunming Gao. Detection of Conjunctive Stable Predicates in Dynamic Systems. In IEEE 15th International Conference on Parallel and Distributed Systems, ICPADS 2009, 8-11 December 2009, Shenzhen, China. pages 828-835, IEEE, 2009. [doi]