Pei-Hsin Ho: Publications and Presentations

Publications and Presentations

Pei-Hsin Ho

Physical Implementation of VLSI Designs

Formal Verification of VLSI Designs

Formal Verification of Hybrid Systems

Graph Algorithms

Last Modified AUG 2009

Pei-Hsin Ho / [email protected]
1
Hosted by www.Geocities.ws