Baruch Sterin

	2002
3		Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: PathFinder: A Tool for Design Exploration. CAV 2002: 510-514
2		Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: An Algorithmic Approach to Design Exploration. FME 2002: 146-162
1		Gil Ratsaby, Baruch Sterin, Shmuel Ur: Improvements in Coverability Analysis. FME 2002: 41-56

Coauthor Index

1	Sharon Barner	[2]
2	Shoham Ben-David	[2] [3]
3	Anna Gringauze	[2] [3]
4	Gil Ratsaby	[1]
5	Shmuel Ur	[1]
6	Yaron Wolfsthal (Yaron Wolfstahl)	[2] [3]