![](/img/cover-not-exists.png)
[IEEE 2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS) - Beijing, China (2016.8.26-2016.8.28)] 2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS) - Analyzing leader election protocol by probabilistic model checking
Xu Guo,, Zongyuan Yang,Year:
2016
Language:
english
DOI:
10.1109/icsess.2016.7883133
File:
PDF, 432 KB
english, 2016