Browse by Person

Group by: Item Type | Date | Journal or Publication Title | No Grouping

Jump to: 2014

Number of items: 1.

2014

Brockschmidt, M. and Emmes, F. and Falke, S. and Fuhs, Carsten and Giesl, J. (2014) Alternating runtime and size complexity analysis of integer programs. In: Ábrahám, E. and Havelund, K. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 8413. Berlin, Germany: Springer, pp. 140-155. ISBN 9783642548611.

This list was generated on Sat Nov 30 05:08:07 2024 GMT.

Export as	Atom RSS