Yakir Vizel

	2007
1		Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar: Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC 2007: 304-309

Coauthor Index

1	Roy Armoni	[1]
2	Limor Fix	[1]
3	Ranan Fraer	[1]
4	Tamir Heyman	[1]
5	Moshe Y. Vardi	[1]
6	Yael Zbar	[1]