Gate Splitting in LOTOS Specifications Using Abstract Interpretation
| Title | Gate Splitting in LOTOS Specifications Using Abstract Interpretation |
| Publication Type | Conference Paper |
| Year of Publication | 1993 |
| Authors | Giannotti, F, Latella, D |
| Conference Name | TAPSOFT |