Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
Fault-Tolerant Resource Reasoning
File(s)
Ntzik2015Fault.pdf (348.39 KB)
Accepted version
Author(s)
Ntzik, G
Da Rocha Pinto, P
Gardner, PA
Type
Chapter
Date Issued
2015-12-09
URI
DOI
ISBN
978-3-319-26528-5
Publisher
Springer International Publishing
Start Page
169
End Page
188
Journal / Book Title
Programming Languages and Systems. 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Lecture Notes in Computer Science
Copyright Statement
© Springer-Verlag 2015. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-26529-2_10
Sponsor
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Grant Number
EP/H008373/1
EP/H008373/1