Sharon Keidar

	2003
2		Sharon Keidar, Yoav Rodeh: Searching for Counter-Examples Adaptively. IWFM 2003
	2000
1		Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal: FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. CAV 2000: 538-542

Coauthor Index

1	Yael Abarbanel	[1]
2	Ilan Beer	[1]
3	Leonid Gluhovsky	[1]
4	Yoav Rodeh	[2]
5	Yaron Wolfsthal (Yaron Wolfstahl)	[1]