| |
| 2004 | ||
|---|---|---|
| 1 | EE | Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Copty Fady: Test sequence generation and model checking using dynamic transition relations. STTT 6(2): 174-182 (2004) |
| 1 | Sérgio Vale Aguiar Campos | [1] |
| 2 | Orna Grumberg | [1] |
| 3 | Karen Yorav (Karen Laster) | [1] |