Use of Prolog for building protocol design tools

• Authors:

• Gregor von Bochmann;Rachida Dssouli;Wanderley Lopes de Souza;Behçet Sarikaya;Hasan Ural

• Affiliations:

• -;-;-;-;-

• Venue:
• Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
• Year:
• 1985