%0 Journal Article %J Sci. Comput. Program. %D 1994 %T Gate Splitting in LOTOS Specifications Using Abstract Interpretation %A Fosca Giannotti %A Diego Latella %B Sci. Comput. Program. %V 23 %P 127-149 %G eng