Yoshiaki Kakuda, Hirotaka Igarashi, Tohru Kikuno. Automated synthesis of protocol specifications with message collisions and verification of timeliness. In 1994 International Conference on Network Protocols, ICNP 1994, Boston, MA, USA, October 25-28, 1994, Proceedings. pages 143-150, IEEE, 1994. [doi]
Abstract is missing.