| |
other persons with the same name:
| 2006 | ||
|---|---|---|
| 4 | EE | Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification. CAV 2006: 503-516 |
| 3 | EE | Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification CoRR abs/cs/0605039: (2006) |
| 2005 | ||
| 2 | EE | Amitabha Roy, K. Gopinath: Improved Probabilistic Models for 802.11 Protocol Verification. CAV 2005: 239-252 |
| 2004 | ||
| 1 | EE | Amitabha Roy, K. Gopinath: Scalable Probabilistic Models for 802.11 Protocol Verification CoRR cs.LO/0403044: (2004) |
| 1 | Charles J. Fleckenstein | [3] [4] |
| 2 | K. Gopinath | [1] [2] |
| 3 | John C. Huang | [3] [4] |
| 4 | Stephan Zeisset | [3] [4] |