Shin ichi Nagano, Tohru Kikuno. Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols. In 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA 98), 27-29 October 1998, Hiroshima, Japan. pages 195-199, IEEE Computer Society, 1998. [doi]
Abstract is missing.