Ranking Functions for Loops with Disjunctive Exit-Conditions

Files in This Item:

File	Description	Size	Format
	publisher's version	465.14 kB	Adobe PDF	View/Open

Title:	Ranking Functions for Loops with Disjunctive Exit-Conditions
Author(s):	Kersten, R.W.J. (351964916) Eekelen, M. van (073839825)
Publication year:	2011
Document type:	Article in monograph or in proceedings
Book title:	Pena, R. (ed.), Proceedings of the 2th International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2011)
Start page:	p. 111
End page:	p. 126
Series:	Technical report ; SIC-08/11
Publisher:	Madrid : Dept. Computer Systems and Computing Universidad Complutense de Madrid
Annotation:	Scientific publication 2th International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2011). Madrid, Spain
Subject:	Digital Security
Organization:	Digital Security Security of Systems
Appears in Collections:	Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/92254