TITLE     : Validazione formale di meccanismi per la tolleranza ai guasti
AUTHOR(S) : Bernardeschi C, Fantechi A, Gnesi S
TYPE      : Other
YEAR      : 1997
CODE      : 408827

*** DO NOT EDIT THIS FILE ***