Naoki Asae

According to our database, Naoki Asae authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable (S).

Naoki Asae, Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021