- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 1 |      | Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi: Application of Formal Word-Level Analysis to Constrained Random Simulation. CAV 2008: 487-490 |
| 1 | HoonSang Jin | [1] |
| 2 | Hyondeuk Kim | [1] |
| 3 | Robert P. Kurshan | [1] |
| 4 | John Pierce | [1] |
| 5 | Kavita Ravi | [1] |
| 6 | Fabio Somenzi | [1] |