![]() | ![]() |
2002 | ||
---|---|---|
3 | EE | Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: PathFinder: A Tool for Design Exploration. CAV 2002: 510-514 |
2 | EE | Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: An Algorithmic Approach to Design Exploration. FME 2002: 146-162 |
1 | EE | Gil Ratsaby, Baruch Sterin, Shmuel Ur: Improvements in Coverability Analysis. FME 2002: 41-56 |
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] |