Yuly Suvorov

Publication Activity (10 Years)

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

Publications

Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant G. Honavar
Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. AAAI (2011)