@misc {IOPORT.70369759,
    author       = {Wang, Xinli and Mayo, Jean and Hembroff, Guy C. and Gao, Chunming},
    title        = {Detection of conjunctive stable predicates in dynamic systems},
    howpublished = {ICPADS, 828-835 (2009).},
    year         = {2009},
    doi          = {10.1109/ICPADS.2009.66},
    identifier   = {70369759},
}