Anush Hayrapetyan

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Vijay Gehlot, Anush Hayrapetyan
Systems modeling and analysis using colored Petri Nets: a tutorial introduction and practical applications. ACM Southeast Regional Conference (2007)
Vijay Gehlot, Anush Hayrapetyan
A formalized and validated executable model of the SIP-based presence protocol for mobile applications. ACM Southeast Regional Conference (2007)