Aoi Ono

According to our database, Aoi Ono authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Describing and verifying malicious fault-tolerant consensus algorithms using PlusCAL and C languages.

Aoi Ono, Tatsuhiro Tsuchiya

Proceedings of the 29th IEEE Pacific Rim International Symposium on Dependable Computing, 2024