Zhi Niu, Luming Dong, Yong Zhu, Li Chen. Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+. In Proceedings of the 7th International Conference on Cyber Security and Information Engineering, ICCSIE 2022, Brisbane, QLD, Australia, September 23-25, 2022. pages 13-18, ACM, 2022. [doi]
@inproceedings{NiuDZC22,
title = {Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+},
author = {Zhi Niu and Luming Dong and Yong Zhu and Li Chen},
year = {2022},
doi = {10.1145/3558819.3558822},
url = {https://doi.org/10.1145/3558819.3558822},
researchr = {https://researchr.org/publication/NiuDZC22},
cites = {0},
citedby = {0},
pages = {13-18},
booktitle = {Proceedings of the 7th International Conference on Cyber Security and Information Engineering, ICCSIE 2022, Brisbane, QLD, Australia, September 23-25, 2022},
publisher = {ACM},
isbn = {978-1-4503-9741-4},
}