Formal Specification and Experimental Analysis of an Interactive Epidemic Simulation Framework.

Yifei Ma, Keith R. Bisset, Jiangzhuo Chen, Suruchi Deodhar, Madhav V. Marathe

Browse the full HPCC paper archive.