State Compression Based on One-Sided Communications for Distributed Model Checking.

Camille Coti, Sami Evangelista, Laure Petrucci

Browse the full ICECCS paper archive.