TITLE     : Using abstract interpretation for gate splitting in LOTOS   specifications (extended abstract)
AUTHOR(S) : Giannotti F, Latella D
TYPE      : Conference article
YEAR      : 1992
CODE      : 190785

*** DO NOT EDIT THIS FILE ***