%0 Conference Paper %B WSA %D 1992 %T Using Abstract Interpretation for Gate splitting in LOTOS Specifications %A Fosca Giannotti %A Diego Latella %B WSA %P 194-204 %G eng