Binyu Huang
According to our database1,
Binyu Huang
authored at least 2 papers
in 2023.
Collaborative distances:
Collaborative distances:
Timeline
2023
0
1
2
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service.
CoRR, 2023
Leveraging TLA<sup>+</sup> Specifications to Improve the Reliability of the ZooKeeperCoordination Service.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023