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.
No references recorded for this publication.
No citations of this publication recorded.