Habib Ghayoumi

According to our database, Habib Ghayoumi authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Techniques for Formal Verification of Digital Systems: A System Approach.

Hamid Shojaei, Habib Ghayoumi

Proceedings of the 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August, 2004