Ofer Strichman - Research output - Technion - Israel Institute of Technology

View Scopus Profile

Research activity per year

53 Conference contribution
42 Article
9 Editorial
6 Conference article
More

1 results

Filter

2003
Bounded Model Checking
Biere, A., Cimatti, A., Clarke, E. M., Strichman, O. & Zhu, Y., 2003, In: Advances in Computers. 58, C, p. 117-148 32 p.
Research output: Contribution to journal › Review article › peer-review