"Local Verification Using a Distributed State Space."

Chiheb Ameur Abid, Belhassen Zouari (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics