Tighter Loop Bound Analysis (Technical report) (bibtex)
by Pavel \vCadek, Jan Strej\vcek, Marek Trtík
Reference:
Tighter Loop Bound Analysis (Technical report)Pavel \vCadek, Jan Strej\vcek, Marek TrtíkCoRR, volume abs/1605.03636, 2016.
Bibtex Entry:
@article{journals/corr/CadekST16,
  author    = {Pavel {\v{C}}adek and
               Jan Strej{\v{c}}ek and
               Marek Trt{\'{\i}}k},
  title     = {Tighter Loop Bound Analysis (Technical report)},
  journal   = {CoRR},
  volume    = {abs/1605.03636},
  year      = {2016},
  url       = {http://arxiv.org/abs/1605.03636}
}
Powered by bibtexbrowser