Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao. Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application. In 11th International Conference on Communication Systems & Networks, COMSNETS 2019, Bengaluru, India, January 7-11, 2019. pages 720-725, IEEE, 2019. [doi]
Abstract is missing.