![]() | ![]() |
| 2007 | ||
|---|---|---|
| 2 | 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 | 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] |
Data released under the ODC-BY 1.0 license — See also our legal information page