TITLE     : Validating reconfigurations of reo circuits in an e-Banking scenario
AUTHOR(S) : Ter Beek M H, Gadducci F, Santini F
TYPE      : Conference article
YEAR      : 2013
CODE      : 277622

*** DO NOT EDIT THIS FILE ***