Anli He

According to our database, Anli He authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Exploiting OVL standard assertions in a theorem-proving-based verification environment.

Anli He, Parija Sule, Youngsik Kim, Nazanin Mansouri

Proceedings of the Second IASTED International Conference on Circuits, 2004