Logical Methods in Computer Science

funge da
rivista che contiene
page_white_acrobatType-based Self-stabilisation for Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli