TITLE     : Gate splitting in LOTOS specifications using abstract interpretation
AUTHOR(S) : Giannotti F, Latella D
TYPE      : Journal article
YEAR      : 1994
CODE      : 190057

*** DO NOT EDIT THIS FILE ***