[IEEE 2009 15th International Conference on Parallel and Distributed Systems - Shenzhen, China (2009.12.8-2009.12.11)] 2009 15th International Conference on Parallel and Distributed Systems - Detection of Conjunctive Stable Predicates in Dynamic Systems
Wang, Xinli, Mayo, Jean, Hembroff, Guy, Gao, ChunmingYear:
2009
Language:
english
DOI:
10.1109/icpads.2009.66
File:
PDF, 204 KB
english, 2009