@techreport {distributed-explode:tr,
        author = {Nageswar Keetha and Leon Wu and Gail Kaiser and Junfeng Yang},
        title = {Distributed {eXplode}: A High-Performance Model Checking Engine to Scale Up State-Space Coverage},
        year = {2008},
        month = {December},
        institution  = {CS Department, Columbia University},
        number  = {CUCS-051-08},
}