Case study in protocol verification

• Authors:

• Vincenza Carchiolo;A. Di Stefano;A. Faro;Giuseppe Pappalardo

• Affiliations:

• -;-;-;-

• Venue:
• Computer Systems Science and Engineering
• Year:
• 1990