TY - CONF T1 - Using Abstract Interpretation for Gate splitting in LOTOS Specifications T2 - WSA Y1 - 1992 A1 - Fosca Giannotti A1 - Diego Latella JF - WSA ER -