TITLE     : Comparing lotos and estelle formal descriptions
AUTHOR(S) : Fantechi A, Gnesi S, Laneve C
TYPE      : Conference article
YEAR      : 1988
CODE      : 419397

*** DO NOT EDIT THIS FILE ***