MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Yossi Lichtenstein" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Coverage-Directed Test Generation Using Symbolic Techniques  
  • by Daniel Geist Monica, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal — 1996 — In Proceedings of the Int'l Conference on Formal Methods in CAD
  • … Landver Yossi Lichtenstein Shmuel Ur and Yaron Wolfsthal IBM Science and Technology, Haifa Research Lab…
  • Add To MetaCart
  • Test Program Generation for Functional Verification  
  • by Of Powerpc Processors, Aharon Aharon, Dave Goodman, Moshe Levinger, Yossi Lichtenstein, Yossi Malka Charlotte Metzger — 1995 — in IBM. In the 32nd Design Automation Conference
  • …, Dave Goodman, Moshe Levinger, Yossi Lichtenstein, Yossi Malka, Charlotte Metzger, Moshe Molcho, Gil…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB