Gary De Palma

According to our database, Gary De Palma authored at least 1 paper in 1997.

Collaborative distances:

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

1997

Model checking without hardware drivers.

Carlos M. Roman, Gary De Palma, Robert P. Kurshan

Proceedings of the Advances in Hardware Design and Verification, 1997