Logical Methods in Computer Science

works as
journal containing
Publication_icon.svg Type-based Self-stabilisation for Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli