]. J. Bbvr10, L. Barnat, M. Brim, P. Ce?ka, and . Ro?kai, DiVinE : Parallel Distributed Model Checker (Tool paper), Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology (HiBi/PDMC 2010), pp.4-7, 2010.

L. Blin, A. Milani, M. Potop-butucaru, and S. Tixeuil, Exclusive Perpetual Ring Exploration without Chirality, Distributed Computing, pp.312-327, 2010.
DOI : 10.1007/978-3-642-15763-9_29
URL : https://hal.archives-ouvertes.fr/hal-00992700

P. Flocchini, G. Prencipe, and N. Santoro, Distributed Computing by Oblivious Mobile Robots. Synthesis Lectures on Distributed Computing Theory, 2012.
DOI : 10.2200/s00440ed1v01y201208dct010