Taokuan Hu

According to our database, Taokuan Hu authored at least 1 paper in 1997.

Collaborative distances:

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

1997

Symbolic Timing Verification of Timing Diagrams using Presburger Formulas.

Tod Amon, Gaetano Borriello, Taokuan Hu, Jiwen Liu

Proceedings of the 34st Conference on Design Automation, 1997