P. Paanah

	1997
1		Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal: RuleBase: Model Checking at IBM. CAV 1997: 480-483

Coauthor Index

1	Ilan Beer	[1]
2	Shoham Ben-David	[1]
3	Cindy Eisner	[1]
4	Daniel Geist	[1]
5	Leonid Gluhovsky	[1]
6	Tamir Heyman	[1]
7	Avner Landver	[1]
8	Yoav Rodeh	[1]
9	G. Ronin	[1]
10	Yaron Wolfsthal (Yaron Wolfstahl)	[1]