Shao-Huan Ban

According to our database, Shao-Huan Ban authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Exploring Computation Tree Logic with Past-Time Operator Model Checking Using DNA Computing.

Ying-Jie Han, Xiao-Fei Nan, Shao-Huan Ban, Qing-Lei Zhou

Proceedings of the Bio-inspired Computing: Theories and Applications, 2019