| |
| * | 2004 | |
|---|---|---|
| 1 | EE | Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh: Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. FASE 2004: 160-164 |
| 1 | Adam Childs | [1] |
| 2 | Xianghua Deng | [1] |
| 3 | Matthew B. Dwyer | [1] |
| 4 | Jesse Greenwald | [1] |
| 5 | John Hatcliff | [1] |
| 6 | Georg Jung | [1] |
| 7 | Venkatesh Prasad Ranganath | [1] |
| 8 | Gurdip Singh | [1] |