- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 1 |      | A. Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh: Visual Modeling and Verification of Distributed Reactive Systems. SAFECOMP 2003: 22-34 |
| 1 | A. K. Bhattacharjee | [1] |
| 2 | S. D. Dhodapkar | [1] |
| 3 | S. Ramesh (Sethu Ramesh) | [1] |