Gate Splitting in LOTOS Specifications Using Abstract Interpretation
| Title | Gate Splitting in LOTOS Specifications Using Abstract Interpretation |
| Publication Type | Journal Article |
| Year of Publication | 1994 |
| Authors | Giannotti, F, Latella, D |
| Journal | Sci. Comput. Program. |
| Volume | 23 |
| Issue | 2-3 |
| Pagination | 127-149 |