TITLE     : Verification and analysis of autonomic systems for networked enterprises
AUTHOR(S) : Bertolino A, De Angelis G, Di Giandomenico F, Marchetti E, Sabetta A, Spoletini P
TYPE      : Contribution to book
YEAR      : 2012
CODE      : 215840

*** DO NOT EDIT THIS FILE ***