Amnon Heyman

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. Int. J. Found. Comput. Sci. 18 (1) (2007)
Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. ATVA (2005)