Attacking a complex distributed algorithm from different sides: an experience wih complementary validation tools

• Authors:

• Roland Groz;Claude Jard;Claire Lassudrie

• Affiliations:

• CNET Lannion A, Lannion Cedex, France;CNET Lannion A, Lannion Cedex, France;CNET Lannion A, Lannion Cedex, France

• Venue:
• Computer Networks and ISDN Systems
• Year:
• 1985