TITLE     : Formal specification and verification of the inter-channel consistency network
AUTHOR(S) : Bernardeschi C, Fantechi A, Gnesi S
TYPE      : Other
YEAR      : 1996
CODE      : 408495

*** DO NOT EDIT THIS FILE ***