Model Checking Networked Programs in the Presence of Transmission Failures.

Cyrille Artho, Christian Sommer, Shinichi Honiden

Browse the full TASE paper archive.