Distributed Safety Verification Using Vertex Centric Programming Model.

Adhish Singla, Krishnaji Desai, Suresh Purini, Venkatesh Choppella

Browse the full ISPDC paper archive.