TITLE     : A logic database for validating system models
AUTHOR(S) : Asirelli P, Cook S, Jeffery K
TYPE      : Conference article
YEAR      : 1996
CODE      : 411408

*** DO NOT EDIT THIS FILE ***