Successive Approximation of Abstract Transition Relations - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Satyaki Das, David L. Dill. Successive Approximation of Abstract Transition Relations. In LICS. pages 51-60, 2001.

@inproceedings{DasD01,
  title = {Successive Approximation of Abstract Transition Relations},
  author = {Satyaki Das and David L. Dill},
  year = {2001},
  researchr = {https://researchr.org/publication/DasD01},
  cites = {0},
  citedby = {0},
  pages = {51-60},
  booktitle = {LICS},
}

runs on WebDSL