Sign in

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

Roland GrozClaude JardClaire Lassudrie
Published in: Comput. Networks (1986)
Keyphrases