TITLE     : A method to compare formal protocol specifications
AUTHOR(S) : Fantechi A, Gnesi S, Laneve C
TYPE      : Conference article
YEAR      : 1988
CODE      : 419389

*** DO NOT EDIT THIS FILE ***