Checking Beliefs in Dynamic Networks.

Nuno P. Lopes, Nikolaj S. Bjrner, Patrice Godefroid, Karthick Jayaraman, George Varghese

Browse the full NSDI paper archive.