1996 | ||
---|---|---|
1 | EE | Shin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno: Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation. ICNP 1996: 92- |
1 | Yoshiaki Kakuda | [1] |
2 | Tohru Kikuno | [1] |
3 | Shin'ichi Nagano | [1] |