TITLE     : Achieving fault tolerance by a formally validated interaction policy
AUTHOR(S) : Fantechi A, Gnesi S, Semini L
TYPE      : Journal article
YEAR      : 2006
CODE      : 43861

*** DO NOT EDIT THIS FILE ***