Ranking Functions for Loops with Disjunctive Exit-Conditions

Thumbnail
Fulltext:
92254.pdf
Size:
465.1Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2011
Author(s)
Kersten, R.W.J.
Eekelen, M.C.J.D. van
Publisher
Madrid : Dept. Computer Systems and Computing Universidad Complutense de Madrid
In
Technical Report / Ruu-Cs, (2011)Pena, R. (ed.), Proceedings of the 2th International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2011), pp. 111-126
ISSN
Annotation
2th International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2011). Madrid, Spain
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/92254   https://hdl.handle.net/2066/92254
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.