Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints (bibtex)
by Moritz Sinn, Florian Zuleger, Helmut Veith
Reference:
Complexity and Resource Bound Analysis of Imperative Programs Using Difference ConstraintsMoritz Sinn, Florian Zuleger, Helmut VeithJournal of Automated Reasoning, pages 1-43, 2017.
Bibtex Entry:
@Article{SZV17:JAR,
author="Sinn, Moritz
and Zuleger, Florian
and Veith, Helmut",
title="Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints",
journal="Journal of Automated Reasoning",
year="2017",
pages="1--43",
issn="1573-0670",
doi="10.1007/s10817-016-9402-4",
url="http://dx.doi.org/10.1007/s10817-016-9402-4"
}
Powered by bibtexbrowser