Gate Splitting in LOTOS Specifications Using Abstract Interpretation

@inproceedings{Giannotti1993GateSI,
  title={Gate Splitting in LOTOS Specifications Using Abstract Interpretation},
  author={Fosca Giannotti and Diego Latella},
  booktitle={TAPSOFT},
  year={1993}
}
Highly Cited
This paper has 27 citations. REVIEW CITATIONS