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]
@inproceedings{WangMHG09,
title = {Detection of Conjunctive Stable Predicates in Dynamic Systems},
author = {Xinli Wang and Jean Mayo and Guy C. Hembroff and Chunming Gao},
year = {2009},
doi = {10.1109/ICPADS.2009.66},
url = {http://dx.doi.org/10.1109/ICPADS.2009.66},
tags = {C++},
researchr = {https://researchr.org/publication/WangMHG09},
cites = {0},
citedby = {0},
pages = {828-835},
booktitle = {IEEE 15th International Conference on Parallel and Distributed Systems, ICPADS 2009, 8-11 December 2009, Shenzhen, China},
publisher = {IEEE},
}