Jun Pang, Zhengqin Luo, Yuxin Deng. On automatic verification of self-stabilizing population protocols. Frontiers of Computer Science in China, 2(4):357-367, 2008. [doi]
@article{PangLD08:0,
title = {On automatic verification of self-stabilizing population protocols},
author = {Jun Pang and Zhengqin Luo and Yuxin Deng},
year = {2008},
doi = {10.1007/s11704-008-0040-9},
url = {http://dx.doi.org/10.1007/s11704-008-0040-9},
tags = {protocol},
researchr = {https://researchr.org/publication/PangLD08%3A0},
cites = {0},
citedby = {0},
journal = {Frontiers of Computer Science in China},
volume = {2},
number = {4},
pages = {357-367},
}