%0 Conference Paper %B TAPSOFT %D 1993 %T Gate Splitting in LOTOS Specifications Using Abstract Interpretation %A Fosca Giannotti %A Diego Latella %B TAPSOFT %P 437-452 %G eng