Distributed Safety Verification Using Vertex Centric Programming Model

Adhish Singla, Krishnaji Desai, Suresh Purini, Venkatesh Choppella
January 2016
Cite DOI URL
Type
Conference
Publication
15th International Symposium on Parallel and Distributed Computing, ISPDC 2016, Fuzhou, China, July 8-10, 2016