| |
| 2007 | ||
|---|---|---|
| 2 | EE | Vijay Gehlot, Anush Hayrapetyan: A formalized and validated executable model of the SIP-based presence protocol for mobile applications. ACM Southeast Regional Conference 2007: 185-190 |
| 1 | EE | Vijay Gehlot, Anush Hayrapetyan: Systems modeling and analysis using colored Petri Nets: a tutorial introduction and practical applications. ACM Southeast Regional Conference 2007: 514 |
| 1 | Vijay Gehlot | [1] [2] |