The Development of Tools for Verification and Validation of Communication Protocols.

Raimo Kujansuu Leo Ojala Heikki Tuominen The Development of Tools for Verification and Validation of Communication Protocols. 311-313 1982 conf/pstv/1982 PSTV db/conf/pstv/pstv1982.html#KujansuuOT82