Mark Ginzburg

	2006
1		Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref: Supporting SAT based BMC on Finite Path Models. Electr. Notes Theor. Comput. Sci. 144(1): 67-77 (2006)

Coauthor Index

1	Daniel Geist	[1]
2	Yoad Lustig	[1]
3	Ishai Rabinovitz	[1]
4	Ohad Shacham	[1]
5	Rachel Tzoref (Rachel Tzoref-Brill)	[1]