Publications

3 results for Baruch Sterin

PathFinder: A tool for design exploration
- - Shoham Ben-David
  - Anna Gringauze
  - et al.
- 2002
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Improvements in coverability analysis
- - Gil Ratsaby
  - Baruch Sterin
  - et al.
- 2002
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
An algorithmic approach to design exploration
- - Sharon Barner
  - Shoham Ben-David
  - et al.
- 2002
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)