![](/img/cover-not-exists.png)
Attacking a complex distributed algorithm from different sides: an experience with complementary validation tools
Roland Groz, Claude Jard, Claire LassudrieVolume:
10
Year:
1985
Language:
english
Pages:
13
DOI:
10.1016/0169-7552(85)90068-6
File:
PDF, 1000 KB
english, 1985