TITLE     : Verification of equivalences between finite transition systems Theory and applications
AUTHOR(S) : Bolognesi T
TYPE      : Other
YEAR      : 1986
CODE      : 420123

*** DO NOT EDIT THIS FILE ***