TITLE     : Logical specification and analysis of fault tolerant systems through partial model checking
AUTHOR(S) : Gnesi S, Lenzini G, Martinelli F
TYPE      : Conference article
YEAR      : 2005
CODE      : 91214

*** DO NOT EDIT THIS FILE ***