TITLE     : Verifying properties of systems relying on attribute-based communication
AUTHOR(S) : De Nicola R, Duong T, Inverso O, Mazzanti F
TYPE      : Contribution to book
YEAR      : 2017
CODE      : 391746

*** DO NOT EDIT THIS FILE ***