Amitai Irron

Publication Activity (10 Years)

Years Active: 2001-2004
Publications (10 Years): 0

Publications

Zvi Terem, Gila Kamhi, Moshe Y. Vardi, Amitai Irron
Pattern search in hierarchical high-level designs. ICECS (2004)
Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
Efficient debugging in a formal verification environment. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
Efficient Debugging in a Formal Verification Environment. CHARME (2001)