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)
Publications
Date
Featured collections
Popular topics
3 results for Baruch Sterin
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)
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)