"Formal Modelling and Initial Validation of the Chelonia Distributed ..."

Sami Taktak, Lars Michael Kristensen (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics