Experience of Responsiveness Verification for Connection Establishment Protocols.

Shin'ichi Nagano, Yoshiaki Kakuda, Tohru Kikuno

Browse the full ISORC paper archive.