Zi-Ning Cao

According to our database, Zi-Ning Cao authored at least 1 paper in 2004.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2004

Model Checking Real-Time Value-Passing Systems.

Jing Chen, Zi-Ning Cao

J. Comput. Sci. Technol., 2004