Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application.

Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao

Browse the full COMSNETS paper archive.