Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools

Roland Groz, Claude Jard, Claire Lassudrie. Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools. Computer Networks, 10:245-257, 1986.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.