Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
surveys:mc [2010/03/01 10:10] maysam.yabandeh add smash |
surveys:mc [2010/03/01 10:11] maysam.yabandeh |
||
|---|---|---|---|
| Line 310: | Line 310: | ||
| Q: How about SMASH? | Q: How about SMASH? | ||
| - | A: I will check it. | + | A: It suffers from the same problems as BLAST does. Abstract based model checking is not in the scope of this paper and citing the paper is enough. I cited the paper in the introduction. |