TITLE     : Gate splitting in  LOTOS  specifications using abstract   interpretation
AUTHOR(S) : Giannotti F, Latella D
TYPE      : Conference article
YEAR      : 1993
CODE      : 190784

*** DO NOT EDIT THIS FILE ***