Formal Modelling and Initial Validation of the Chelonia Distributed Storage System.

Sami Taktak, Lars Michael Kristensen

Browse the full GPC paper archive.