Eran Rippel

	2001
1		Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham: On the Effective Deployment of Functional Formal Verification. Formal Methods in System Design 19(1): 35-44 (2001)

Coauthor Index

1	Yael Abarbanel-Vinov	[1]
2	Neta Aizenbud-Reshef	[1]
3	Ilan Beer	[1]
4	Cindy Eisner	[1]
5	Daniel Geist	[1]
6	Tamir Heyman	[1]
7	Iris Reuveni	[1]
8	Irit Shitsevalov	[1]
9	Yaron Wolfsthal (Yaron Wolfstahl)	[1]
10	Tali Yatzkar-Haham	[1]