Radboud Repository
Radboud Repository
→
Collections Radboud University
→
Academic publications
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Fulltext present in this item
Fulltext:
161285.pdf
Format:
PDF
Description:
preprint version
Title:
Healthiness from Duality
Author(s):
Hino, W.
;
Kobayashi, H.
;
Hasuo, I.
;
Jacobs, B.
Publication year:
2016
In:
Koskinen, E. (ed.), LICS '16 : Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 682-691
Publisher:
New York : ACM
ISBN:
9781450343916
DOI:
https://doi.org/10.1145/2933575.2935319
Annotation:
LICS '16 : 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY, USA — July 05 - 08, 2016
Publication type:
Article in monograph or in proceedings
Please use this identifier to cite or link to this item :
http://hdl.handle.net/2066/161285
Display more details
Editor(s):
Koskinen, E.
Subject:
Digital Security
Organization:
Digital Security
Security of Systems
Book title:
Koskinen, E. (ed.), LICS '16 : Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Page start:
p. 682
Page end:
p. 691
This item appears in the following Collection(s)
Faculty of Science
[26638]
Open Access publications
[50144]
Freely accessible full text publications
Electronic publications
[78062]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications
[171700]
Academic output Radboud University
Search Repository
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics