Computing an Upper Bound for SVS(gg) by Abstract Interpretation - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Heiko Dörr. Computing an Upper Bound for SVS(gg) by Abstract Interpretation. In Developments in Language Theory. pages 279-288, 1995.

@inproceedings{Dorr95:0,
  title = {Computing an Upper Bound for SVS(gg) by Abstract Interpretation},
  author = {Heiko Dörr},
  year = {1995},
  researchr = {https://researchr.org/publication/Dorr95%3A0},
  cites = {0},
  citedby = {0},
  pages = {279-288},
  booktitle = {Developments in Language Theory},
}

runs on WebDSL