The reachability-bound problem (bibtex)
by Sumit Gulwani, Florian Zuleger
Reference:
The reachability-bound problemSumit Gulwani, Florian ZulegerPLDI, pages 292-304, 2010.
Bibtex Entry:
@inproceedings{gulwani:zuleger:pldi10,
  author    = {Sumit Gulwani and
               Florian Zuleger},
  title     = {The reachability-bound problem},
  booktitle = {PLDI},
  year      = {2010},
  pages     = {292-304}
}
Powered by bibtexbrowser