TITLE     : Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems"
AUTHOR(S) : Ter Beek Mh
TYPE      : Journal article
YEAR      : 2018
CODE      : 384385

*** DO NOT EDIT THIS FILE ***