Amnon Heyman

According to our database, Amnon Heyman authored at least 1 paper in 2007.

Collaborative distances:

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

2007

Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.

Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster

Int. J. Found. Comput. Sci., 2007