Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols.

Shin'ichi Nagano, Tohru Kikuno

Browse the full RTCSA paper archive.