A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis (bibtex)
by Moritz Sinn, Florian Zuleger, Helmut Veith
Reference:
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity AnalysisMoritz Sinn, Florian Zuleger, Helmut VeithChapter in Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pages 745-761, 2014.
Bibtex Entry:
@incollection{SZV14:CAV,
 author    = {Moritz Sinn and
               Florian Zuleger and
               Helmut Veith},
  title     = {A Simple and Scalable Static Analysis for Bound Analysis and Amortized
               Complexity Analysis},
  booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 18-22, 2014. Proceedings},
  pages     = {745--761},
  year      = {2014},
  crossref  = {DBLP:conf/cav/2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-08867-9_50},
  doi       = {10.1007/978-3-319-08867-9_50},
  timestamp = {Mon, 30 Jun 2014 11:31:20 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cav/SinnZV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser