Publications

2 results at ICSTW 2013

Better bounds for event sequencing testing
- - Oded Margalit
- 2013
- ICSTW 2013
Using projections to debug large combinatorial models
- - Eitan Farchi
  - Itai Segall
  - et al.
- 2013
- ICSTW 2013