@Inproceedings{EPTCS248.6, author = {Avanzini, Martin and Schaper, Michael}, year = {2017}, title = {GUBS Upper Bound Solver (Extended Abstract)}, editor = {Bonfante, Guillaume and Moser, Georg}, booktitle = {{\rm Proceedings 8th Workshop on} Developments in Implicit Computational complExity {\rm and 5th Workshop on} FOundational and Practical Aspects of Resource Analysis, {\rm Uppsala, Sweden, April 22-23, 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {248}, publisher = {Open Publishing Association}, pages = {17-23}, doi = {10.4204/EPTCS.248.6}, }