"Modelling and Verification of a Cluster-tree Formation Protocol ..."

Mahmoud Talebi, Jan Friso Groote, Conrad Dandelski (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics