Fingerprint
Dive into the research topics of 'Verifying intervention policies to counter infection propagation over networks: A model checking approach'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Verifying intervention policies to counter infection propagation over networks: A model checking approach
Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
6
Scopus
citations