TY  - JOUR
AU  - Manamiary Bruno Andriamiarina
AU  - Dominique Méry
AU  - Neeraj Kumar Singh
TI  - Revisiting Snapshot Algorithms by Refinement-based Techniques
JO  - Computer Science and Information Systems
PY  - 2014
VL  - 11
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2014_11_1_a17/
ID  - CSIS_2014_11_1_a17
ER  -