TITLE     : Gate splitting in lotos specifications using abstract interpretation
AUTHOR(S) : Giannotti F, Latella D
TYPE      : Other
YEAR      : 1992
CODE      : 453869

*** DO NOT EDIT THIS FILE ***