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.
@article{GrozJL86,
title = {Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools},
author = {Roland Groz and Claude Jard and Claire Lassudrie},
year = {1986},
researchr = {https://researchr.org/publication/GrozJL86},
cites = {0},
citedby = {0},
journal = {Computer Networks},
volume = {10},
pages = {245-257},
}