by Florian Frohn, Jürgen Giesl, F Emmes, T Ströder, C Aschermann, J Hensel
Reference:
Inferring Lower Bounds for Runtime Complexity (Florian Frohn, Jürgen Giesl, F Emmes, T Ströder, C Aschermann, J Hensel), Technical report, Technical Report AIB 2015-15, RWTH Aachen, 2015. Available from [1] and from http://aib. informatik. rwth-aachen. de.
Bibtex Entry:
@techreport{frohninferring,
title={Inferring Lower Bounds for Runtime Complexity},
author={Frohn, Florian and Giesl, J{"u}rgen and Emmes, F and Str{"o}der, T and Aschermann, C and Hensel, J},
institution={Technical Report AIB 2015-15, RWTH Aachen, 2015. Available from [1] and from http://aib. informatik. rwth-aachen. de}
}