Adhish Singla, Krishnaji Desai, Suresh Purini, Venkatesh Choppella. Distributed Safety Verification Using Vertex Centric Programming Model. In Riqing Chen, Chunming Rong, Dan Grigoras, editors, 15th International Symposium on Parallel and Distributed Computing, ISPDC 2016, Fuzhou, China, July 8-10, 2016. pages 114-120, IEEE Computer Society, 2016. [doi]
Abstract is missing.