Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation.

Shin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno

Browse the full ICNP paper archive.