TITLE     : Formal verification of fault tolerant mechanisms by model-checking.
AUTHOR(S) : Bernardeschi C, Fantechi A, Gnesi S, Mazzanti F, Santone A
TYPE      : Other
YEAR      : 1998
CODE      : 408276

*** DO NOT EDIT THIS FILE ***