TITLE     : Comparing formal specifications using temporal logics: a case study on LOTOS and estelle protocol descriptions
AUTHOR(S) : Fantechi A, Gnesi S, Laneve C
TYPE      : Other
YEAR      : 1987
CODE      : 419558

*** DO NOT EDIT THIS FILE ***